- In the
mathematical discipline of
model theory, the
Ehrenfeucht–Fraïssé game (also
called back-and-forth games) is a
technique based on game semantics...
-
Andrzej Ehrenfeucht (Polish: [ˈand.ʐɛj ˈɛrɛnfɔjxt], born 8
August 1932) is a Polish-American
mathematician and
computer scientist.
Andrzej Ehrenfeucht formulated...
-
model theory, a
field within mathematical logic, the
Ehrenfeucht–Mostowski
theorem (
Ehrenfeucht &
Mostowski 1956)
gives conditions for the
existence of...
- In
theoretical computer science a
bisimulation is a
binary relation between state transition systems, ****ociating
systems that
behave in the same way in...
-
Archived from the
original on June 20, 2017.
Retrieved July 8, 2010.
Ehrenfeucht, Renia; Nelson,
Marla (2011). "Planning, Po****tion Loss and
Equity in...
-
morphisms f and g on B∗
agree on L if and only if they
agree on T. The
Ehrenfeucht conjecture is that any
subset L has a test set: it has been
proved independently...
- The
Ehrenfeucht–Mycielski
sequence is a
recursively defined sequence of
binary digits with
pseudorandom properties,
defined by
Andrzej Ehrenfeucht and...
- or
without a
right of way on foot
Anastasia Loukaitou-Sideris,
Renia Ehrenfeucht (2009). Sidewalks:
Conflict and
Negotiation Over
Public Space. MIT Press...
-
influential 1989
paper in the
Journal of the ACM, with
Anselm Blumer,
Andrzej Ehrenfeucht,
David Haussler,
introducing the Vapnik–Chervonenkis
dimension to com****tional...
-
Logic for
Applicative Common Lisp
Aristotelian logic Equiconsistency Ehrenfeucht-Fraisse game
Extension by
definitions Extension (predicate logic) Herbrandization...
