DE eng

Search in the Catalogues and Directories

Hits 1 – 9 of 9

1
Ce dont on ne peut parler, il faut l'écrire : langues et langages
Dowek, Gilles. - Paris : Le Pommier, 2019
BLLDB
UB Frankfurt Linguistik
Show details
2
A Simple Proof that Super-Consistency Implies Cut Elimination.
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 53 (2012) 4, 439-456
OLC Linguistik
Show details
3
Introduction to the Theory of Programming Languages
Dowek, Gilles [Verfasser]; Lévy, Jean-Jacques [Verfasser]. - London : Springer London, 2011
DNB Subject Category Language
Show details
4
Introduction to the Theory of Programming Languages
Dowek, Gilles [Verfasser]; Lévy, Jean-Jacques [Verfasser]. - Guildford, Surrey : Springer London, 2011
DNB Subject Category Language
Show details
5
Preface
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 45 (2010) 2, 89
OLC Linguistik
Show details
6
Les ingrédients des algorithmes
In: ISSN: 2270-6224 ; Interstices ; https://hal.inria.fr/hal-01350276 ; Interstices, INRIA, 2010 ; https://interstices.info/jcms/c_43821/les-ingredients-des-algorithmes (2010)
BASE
Show details
7
Rewriting Logic Semantics of a Plan Execution Language ...
BASE
Show details
8
Permissive nominal terms
In: https://hal.inria.fr/inria-00335115 ; [Research Report] RR-6682, INRIA. 2008 (2008)
BASE
Show details
9
Theorem Proving Modulo
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 31 (2003) 1, 33-72
OLC Linguistik
Show details

Catalogues
1
0
3
0
2
0
0
Bibliographies
1
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
3
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern