Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003725003/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b5392032.
- catalog contributor b5392033.
- catalog contributor b5392034.
- catalog created "c1993.".
- catalog date "1993".
- catalog date "c1993.".
- catalog dateCopyrighted "c1993.".
- catalog description "On the unification free Prolog programs / K.R. Apt and S. Etalle -- Equivalences and preorders of transition systems / A. Arnold and A. Dicky -- Deliverables: a categorical approach to program development in type theory / J. McKinna and R. Burstall -- Complex and complex-like traces / Volker Diekert -- Symbolic bisimulations (abstract) / Matthew Hennessy -- Some results on the full abstraction problem for restricted lambda calculi / F. Honsell and M. Lenisa -- Action calculi, or syntactic action structures / Robin Milner -- Observable properties of higher order functions that dynamically create local names, or: What's new? / A.M. Pitts and I.D.B. Stark -- The second calculus of binary relations / Vaughan Pratt -- An introduction to dynamic labeled 2-structures / A. Ehrenfeucht and G. Rozenberg -- Post correspondence problem: Primitivity and interrelations with complexity classes / A. Mateescu and A. Salomaa -- A taste of linear logic / Philip Wadler -- On the tree inclusion problem / L. Alonso and R. Schott -- On the adequacy of per models / R. Amadio -- Hausdorff reductions to sparse sets and to sets of high information content / V. Arvind, J. Kobler and M. Mundhenk -- Stores as homomorphisms and their transformations / E. Astesiano, G. Reggio and E. Zucca -- Comparative semantics for linear arrays of communicating processes, a study of the UNIX fork and pipe commands.".
- catalog extent "xiii, 781 p. :".
- catalog identifier "0387571825 (New York : softcover : acid-free paper)".
- catalog identifier "3540571825 (Berlin : softcover : acid-free paper) :".
- catalog isPartOf "Lecture notes in computer science ; 711".
- catalog issued "1993".
- catalog issued "c1993.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "005/.01/51 20".
- catalog subject "Computer science Mathematics Congresses.".
- catalog subject "QA76.9.M35 I54 1993".
- catalog tableOfContents "On the unification free Prolog programs / K.R. Apt and S. Etalle -- Equivalences and preorders of transition systems / A. Arnold and A. Dicky -- Deliverables: a categorical approach to program development in type theory / J. McKinna and R. Burstall -- Complex and complex-like traces / Volker Diekert -- Symbolic bisimulations (abstract) / Matthew Hennessy -- Some results on the full abstraction problem for restricted lambda calculi / F. Honsell and M. Lenisa -- Action calculi, or syntactic action structures / Robin Milner -- Observable properties of higher order functions that dynamically create local names, or: What's new? / A.M. Pitts and I.D.B. Stark -- The second calculus of binary relations / Vaughan Pratt -- An introduction to dynamic labeled 2-structures / A. Ehrenfeucht and G. Rozenberg -- Post correspondence problem: Primitivity and interrelations with complexity classes / A. Mateescu and A. Salomaa -- A taste of linear logic / Philip Wadler -- On the tree inclusion problem / L. Alonso and R. Schott -- On the adequacy of per models / R. Amadio -- Hausdorff reductions to sparse sets and to sets of high information content / V. Arvind, J. Kobler and M. Mundhenk -- Stores as homomorphisms and their transformations / E. Astesiano, G. Reggio and E. Zucca -- Comparative semantics for linear arrays of communicating processes, a study of the UNIX fork and pipe commands.".
- catalog title "Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings / Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.".
- catalog type "text".