- 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...
- The
Ehrenfeucht–Mycielski
sequence is a
recursively defined sequence of
binary digits with
pseudorandom properties,
defined by
Andrzej Ehrenfeucht and...
-
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...
- 2009-08-12.
Retrieved 2013-08-14.
Anastasia Loukaitou-Sideris,
Renia Ehrenfeucht (2009). Sidewalks:
Conflict and
Negotiation Over
Public Space. MIT Press...
- One can
prove that two
structures are
elementarily equivalent with the
Ehrenfeucht–Fraïssé games.
Elementary embeddings are used in the
study of
large cardinals...
- of the ACM, 27, 1984.
Kearns and Vazirani, pg. 1-12, Blumer, Anselm;
Ehrenfeucht, Andrzej; David, Haussler; Manfred,
Warmuth (October 1989). "Learnability...
-
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...