Erik Meineche Schmidt

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
To Dexter - A Tribute from Aarhus.
Proceedings of the Logic and Program Semantics, 2012

1998
BRICS and Quantum Information Processing.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1992
A New Formalism for Relational Algebra.
Inf. Process. Lett., 1992

1989
An Imperative Type Hierarchy with Partial Products.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1985
Pascal semantics by a combination of denotational semantics and high-level Petri nets.
Proceedings of the Advances in Petri Nets 1985, 1985

1982
Las Vegas Is better than Determinism in VLSI and Distributed Computing (Extended Abstract)
Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982

1980
Stack Machines and Classes of Nonnested Macro Languages.
J. ACM, 1980

Space-Restricted Attribute Grammars.
Proceedings of the Automata, 1980

1978
IO and OI. II.
J. Comput. Syst. Sci., 1978

The Complexity of Equivalence and Containment for Free Single Variable Program Schemes.
Proceedings of the Automata, 1978

1977
Succinctness of Descriptions of Unambiguous Context-Free Languages.
SIAM J. Comput., 1977

IO and OI. I.
J. Comput. Syst. Sci., 1977


  Loading...