Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Booktitle=Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gda{\'n}sk, Poland, August/September 1993)

• On the unification free Prolog programs
  Krzysztof R. Apt, Sandro Etalle
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 1-19
• Equivalences and preorders of transition systems
  A. Arnold, A. Dicky
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 20-31
• Deliverables: A categorical approach to program development in type theory
  James McKinna, Rod Burstall
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 32-67
• Complex and complex-like traces
  Volker Diekert
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 68-82
• Some results on the full abstraction problem for restricted lambda calculi
  Furio Honsell, Marina Lenisa
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 84-104
• Action calculi, or syntactic action structures
  Robin Milner
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 105-121
• Observable properties of higher order functions that dynamically create local names, or: What's new?
  Andrew M. Pitts, Ian D.B. Stark
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 122-141
• The second calculus of binary relations
  Vaughan Pratt
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 142-155
• An introduction to dynamic labeled 2-structures
  A. Ehrenfeucht, G. Rozenberg
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 156-173
• Post correspondence problem: Primitivity and interrelations with complexity classes
  Alexandru Mateescu, Arto Salomaa
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 174-184
• A taste of linear logic
  Philip Wadler
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 185-210
• On the tree inclusion problem
  Laurent Alonso, René Schott
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 211-221
• On the adequacy of per models
  Roberto M. Amadio
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 222-231
• Hausdorff reductions to sparse sets and to sets of high information content
  V. Arvind, J. Köbler, M. Mundhenk
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 232-241
• Stores as homomorphisms and their transformations
  Egidio Astesiano, Fianna Reggio, Elena Zucca
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 242-251
• Comparative semantics for linear arrays of communication processes
  J.W. de Bakker, F. van Breugel, A. de Bruin
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 252-261
• Rabin tree automata and finite monoids
  Danièle Beauquier, Andreas Podelski
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 262-271
• Efficient type reconstruction in the presence of inheritance
  Marcin Benke
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 272-280
• A characterization of Sturmian morphisms
  Jean Berstel, Patrice Séébold
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 281-290
• On the complexity of scheduling incompatible jobs with unit-times
  Hans L. Bodlaender, Klaus Jansen
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 291-300
• Isomorphisms between predicate and state transformers
  Marcello Bonsangue, Joost N. Kok
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 301-310
• On the amount of nondeterminism and the power of verifying
  Liming Cai, Jianer Chen
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 311-320
• Oberserving distribution in processes
  Ilaria Castellani
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 321-331
• Speedup of recognizable trace languages
  Christophe Cérin, Antoine Petit
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 332-341
• May I borrow your logic?
  Maura Cerioli, José Meseguer
  Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993) LNCS 711, 1993, pp. 342-351