DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Maurice Nivat
Maurice Nivat
Thomas Ströhlein's Endgame Tables: a 50Th Anniversary
R ˘Azvan Diaconescu
Lecture Notes in Computer Science 1378 Edited by G
Kolmogorov Complexity in Perspective. Part II: Classification, Information Processing and Duality Marie Ferbus-Zanda
A Rational Deconstruction of Landin's J Operator
Introduction to the Literature on Programming Language Design Gary T
A Verified Prover Based on Ordered Resolution Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel
MAURICE NIVAT, UNE GRANDE FIGURE 89 ◦◦◦◦••◦◦ Une Brève Biographie Scientifique De Maurice Nivat 2
Around the Domino Problem - Combinatorial Structures and Algebraic Tools Etienne Moutot
Transductions Des Langages De Chomsky Annales De L’Institut Fourier, Tome 18, No 1 (1968), P
THE TREE NEWSLETTER June 2007 Issue 23
A Step-Indexed Semantics of Imperative Objects∗ 1
An Interview with Donald Knuth 1974 ACM Turing Award Recipient
Substructural Simple Type Theories for Separation and In-Place Update
A Survey of Research on Deductive Database Systems 1 Introduction
Algebraic Methodology and Software Technology
Theorem Proving Support in Programming Language Semantics
Weighted Automata and Logics on Hierarchical Structures and Graphs
Top View
Ole-Johan Dahls Kontorarkiv Sortert: År, Navn, Tittel
The Genesis of Attribute Grammars Donald E
Automation of Mathematical Induction As Part of the History of Logic
Contracts for System Design
A Verified Prover Based on Ordered Resolution
Theoretical Computer Science: the Early Years
Nivat's Processes and Their Synchronization
BEATCS No 115
Nondeterminism in Algebraic Specifications and Algebraic Programs
Most Prolific DBLP Authors
Initiality, Induction, and Computability
Polymorphic Type Assignment and Cps Conversion 3
Weighted Operator Precedence Languages∗
A Glimpse of Paradise
Introduction to the Literature on Semantics Gary T
Chapter 5 Theories
Introduction to the Literature on Semantics
Bespeak Dissertation Fast