Erik Meineche Schmidt

According to our database, Erik Meineche Schmidt authored at least 12 papers between 1977 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

To Dexter - A Tribute from Aarhus.

Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum

Proceedings of the Logic and Program Semantics, 2012

1998

BRICS and Quantum Information Processing.

Erik Meineche Schmidt

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1992

A New Formalism for Relational Algebra.

Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt

Inf. Process. Lett., 1992

1989

An Imperative Type Hierarchy with Partial Products.

Erik Meineche Schmidt, Michael I. Schwartzbach

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1985

Pascal semantics by a combination of denotational semantics and high-level Petri nets.

Kurt Jensen, Erik Meineche Schmidt

Proceedings of the Advances in Petri Nets 1985, 1985

1982

Las Vegas Is better than Determinism in VLSI and Distributed Computing (Extended Abstract)

Kurt Mehlhorn, Erik Meineche Schmidt

Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982

1980

Stack Machines and Classes of Nonnested Macro Languages.

Joost Engelfriet, Erik Meineche Schmidt, Jan van Leeuwen

J. ACM, 1980

Space-Restricted Attribute Grammars.

Erik Meineche Schmidt

Proceedings of the Automata, 1980

1978

IO and OI. II.

Joost Engelfriet, Erik Meineche Schmidt

J. Comput. Syst. Sci., 1978

The Complexity of Equivalence and Containment for Free Single Variable Program Schemes.

Steven Fortune, John E. Hopcroft, Erik Meineche Schmidt

Proceedings of the Automata, 1978

1977

Succinctness of Descriptions of Unambiguous Context-Free Languages.

Erik Meineche Schmidt, Thomas G. Szymanski

SIAM J. Comput., 1977

IO and OI. I.

Joost Engelfriet, Erik Meineche Schmidt

J. Comput. Syst. Sci., 1977