Lectures on non-standard analysis

von Hirschfeld, Joram

Lectures on non-standard analysis

von Machover, Moshé
Veröffentlicht 1969

Lectures on non-standard analysis

von Machover, Moshé
Veröffentlicht 1969

Lectures on non-standard analysis

Veröffentlicht 1969

Forcing, arithmetic, division rings : Joram Hirschfeld, William H[ollis] Wheeler

von Hirschfeld, Joram
Veröffentlicht 1975

Forcing, arithmetic, division rings

von Hirschfeld, Joram
Veröffentlicht 1975

Forcing, arithmetic, division rings

von Hirschfeld, Joram
Veröffentlicht 1975

Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes

von Christensen, Søren
Veröffentlicht 1992

A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes

von Hirshfeld, Yoram
Veröffentlicht 1994

A polynomial algorithm for deciding bisimilarity of normed context-free processes

von Hirshfeld, Yoram
Veröffentlicht 1994

Forcing, arithmetic, division rings

von Hirschfeld, Joram
Veröffentlicht 1975

Deciding equivalences in simple Process Algebras

von Hirshfeld, Yoram
Veröffentlicht 1994