Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Maurice Nivat
Results: 4
‹ Prev
1
Next ›
#
Item
1
Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh
Add to Reading List
Source URL: events.inf.ed.ac.uk
Language: English
- Date: 2012-10-10 03:52:01
Theoretical computer science
Logic in computer science
Formal methods
Programming language semantics
Models of computation
Denotational semantics
Process calculi
Matthew Hennessy
Semantics
Maurice Nivat
Bisimulation
Negation
2
Conseil Scientifique de la SIF Réunion du 19 Février 2015, Inria Paris Présents : Serge Abiteboul, François Bourdoncle, Gilles Dowek, Christine Froidevaux, Anne-Marie Kermarrec, Maurice Nivat, Jean-Marc Petit, Michel
Add to Reading List
Source URL: www.societe-informatique-de-france.fr
Language: French
- Date: 2015-04-07 05:52:36
3
Complete Papers of Philippe Flajolet assembled by Mark Daniel Ward (version of March 25, [removed]Papers [PF001]–[PF208] Listed by Co-Author
Add to Reading List
Source URL: aofa.cs.purdue.edu
Language: English
- Date: 2012-03-25 10:16:51
Philippe Flajolet
Maurice Nivat
National Institute for Research in Computer Science and Control
Theoretical computer science
Analytic combinatorics
Discrete Mathematics
International Colloquium on Automata
Languages and Programming
European Symposium on Algorithms
Combinatorics
Mathematics
Computer science
Academia
4
Letter from the President Dear EATCS members, As you might know already, the Council of
Add to Reading List
Source URL: www.eatcs.org
Language: English
- Date: 2012-12-11 09:37:11
Applied mathematics
International Colloquium on Automata
Languages and Programming
European Association for Theoretical Computer Science
Dijkstra Prize
Presburger Award
ACM SIGACT
Arto Salomaa
Gödel Prize
Maurice Nivat
Computer science
Theoretical computer science
Spaceflight
‹ Prev
1
Next ›