Erik Meineche Schmidt

Publication Activity (10 Years)

Years Active: 1977-2012
Publications (10 Years): 0

Publications

Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum
To Dexter - A Tribute from Aarhus. Logic and Program Semantics (2012)
Erik Meineche Schmidt
BRICS and Quantum Information Processing. FSTTCS (1998)
Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt
A New Formalism for Relational Algebra. Inf. Process. Lett. 41 (3) (1992)
Erik Meineche Schmidt, Michael I. Schwartzbach
An Imperative Type Hierarchy with Partial Products. MFCS (1989)
Kurt Jensen, Erik Meineche Schmidt
Pascal semantics by a combination of denotational semantics and high-level Petri nets. Applications and Theory in Petri Nets (1985)
Kurt Mehlhorn, Erik Meineche Schmidt
Las Vegas Is better than Determinism in VLSI and Distributed Computing (Extended Abstract) STOC (1982)
Joost Engelfriet, Erik Meineche Schmidt, Jan van Leeuwen
Stack Machines and Classes of Nonnested Macro Languages. J. ACM 27 (1) (1980)
Erik Meineche Schmidt
Space-Restricted Attribute Grammars. ICALP (1980)
Steven Fortune, John E. Hopcroft, Erik Meineche Schmidt
The Complexity of Equivalence and Containment for Free Single Variable Program Schemes. ICALP (1978)
Joost Engelfriet, Erik Meineche Schmidt
IO and OI. II. J. Comput. Syst. Sci. 16 (1) (1978)
Joost Engelfriet, Erik Meineche Schmidt
IO and OI. I. J. Comput. Syst. Sci. 15 (3) (1977)
Erik Meineche Schmidt, Thomas G. Szymanski
Succinctness of Descriptions of Unambiguous Context-Free Languages. SIAM J. Comput. 6 (3) (1977)