Homology of Higher Dimensional Automata (1992)

Cached

Download Links

by Eric Goubault , Thomas P. Jensen
Citations:43 - 11 self

Active Bibliography

2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
734 Notions of Computation and Monads – Eugenio Moggi - 1991
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
968 Head-Driven Statistical Models for Natural Language Parsing – Michael Collins - 1999
510 DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases – Roy Goldman, Jennifer Widom - 1997
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
418 A Guided Tour to Approximate String Matching – Gonzalo Navarro - 1999