Volume 118, Number 1 1993
Selected Papers of the 15th International Symposium on Mathematical Foundations of Computer Science (MFCS'90), Banska Bystria, Czechoslovakia
Volume 118, Number 2 1993
- Pierre Deransart:
Proof Methods of Declarative Properties of Definite Programs.
99-166

- Hubert Comon:
Complete Axiomatizations of Some Quotient Term Algebras.
167-191

- Iain A. Stewart:
Methods for Proving Completeness via Logical Reductions.
193-229

- M. Draghicescu, S. Purushothaman:
A Uniform Treatment of Order of Evalaution and Aggregate Update.
231-262

- Jan Friso Groote:
Transition System Specifications with Negative Premises.
263-299

- Alex K. Simpson:
A Characterisation of the Least-Fixed-Point Operator by Dinaturality.
301-314

Last update Fri May 17 20:52:29 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page