ENUMERATED TYPE SEMANTICS FOR THE CALCULUS OF LOOPING SEQUENCESBIOGLIO, Livio.Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, pp 35-58, issn 0988-3754, 24 p.Conference Paper

Foundations of Wide Area Network ComputingSASSONE, Vladimiro.Theoretical computer science. 2004, Vol 322, Num 3, issn 0304-3975, 249 p.Conference Proceedings

Proceedings/automata, languages and programming: 13th international colloquium, Rennes, July 15-19, 1986KOTT, L.Lecture notes in computer science. 1986, Vol 226, issn 0302-9743, IX-473 pConference Proceedings

Automata, Languages and Programming (ICALP 2006)GAL, Anna.Theoretical computer science. 2009, Vol 410, Num 44, issn 0304-3975, 90 p.Conference Proceedings

Automata, languages and programming. 10th international colloquium, Barcelona, Spain, July 18-22, 1983DIAZ, J.Lecture notes in computer science. 1983, Vol 154, issn 0302-9743, VIII-734 pConference Proceedings

Automata, languages and programming: logic and semantics (ICALP-B 2004)SANNELLA, Donald.Theoretical computer science. 2006, Vol 350, Num 2-3, issn 0304-3975, 212 p.Conference Proceedings

Proceedings/11th Colloquium on automata, languages and programming, Antwerp, July 16-20, 1984PAREDAENS, J.Lecture notes in computer science. 1984, Vol 172, issn 0302-9743, 526 p.Conference Proceedings

EXTENDING THE LAMBDA-CALCULUS WITH UNBIND AND REBINDDEZANI-CIANCAGLINI, Mariangiola; GIANNINI, Paola; ZUCCA, Elena et al.Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, pp 143-162, issn 0988-3754, 20 p.Conference Paper

HOPCROFT'S ALGORITHM AND TREE-LIKE AUTOMATACASTIGLIONE, G; RESTIVO, A; SCIORTINO, M et al.Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, pp 59-75, issn 0988-3754, 17 p.Conference Paper

IDEALIZED COINDUCTIVE TYPE SYSTEMS FOR IMPERATIVE OBJECT-ORIENTED PROGRAMSANCONA, Davide; LAGORIO, Giovanni.Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, pp 3-33, issn 0988-3754, 31 p.Conference Paper

AN INTRODUCTION TO QUANTUM ANNEALINGDE FALCO, Diego; TAMASCELLI, Dario.Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, pp 99-116, issn 0988-3754, 18 p.Conference Paper

CONSENSUAL LANGUAGES AND MATCHING FINITE-STATE COMPUTATIONSCRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi.Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, pp 77-97, issn 0988-3754, 21 p.Conference Paper

STRATEGIES TO SCAN PICTURES WITH AUTOMATA BASED ON WANG TILESLONATI, Violetta; PRADELLA, Matteo.Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, pp 163-180, issn 0988-3754, 18 p.Conference Paper

Maximum weight bipartite matching in matrix multiplication timeSANKOWSKI, Piotr.Theoretical computer science. 2009, Vol 410, Num 44, pp 4480-4488, issn 0304-3975, 9 p.Conference Paper

Entropy as a fixed pointMARTIN, Keye.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 292-324, issn 0304-3975, 33 p.Conference Paper

On the expressive power of monadic least fixed point logicSCHWEIKARDT, Nicole.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 325-344, issn 0304-3975, 20 p.Conference Paper

Automata, Languages and Programming: Algorithms and Complexity (ICALP-A 2004)DIAZ, Josep; KARHUMAKI, Juhani.Theoretical computer science. 2005, Vol 348, Num 2-3, issn 0304-3975, 240 p.Conference Proceedings

Games with winning conditions of high Borel complexitySERRE, Olivier.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 345-372, issn 0304-3975, 28 p.Conference Paper

Approximation algorithms for orthogonal packing problems for hypercubesHARREN, Rolf.Theoretical computer science. 2009, Vol 410, Num 44, pp 4504-4532, issn 0304-3975, 29 p.Conference Paper

Automata, languages and programming (ICALP 2005)ITALIANO, Giuseppe F; PALAMIDESSI, Catuscia.Theoretical computer science. 2007, Vol 380, Num 1-2, issn 0304-3975, 220 p.Conference Proceedings

Interactive observability in Ludics : The geometry of testsFAGGIAN, Claudia.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 213-233, issn 0304-3975, 21 p.Conference Paper

A calculus of coroutinesLAIRD, J.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 275-291, issn 0304-3975, 17 p.Conference Paper

Automata, languages and programmingOREJAS, Fernando; VAN LEEUWEN, Jan.Theoretical computer science. 2005, Vol 331, Num 1, issn 0304-3975, 249 p.Conference Proceedings

Proceedings/15th International colloquium on automata, languages and programming, Tampere, FIN, July 11-15, 1988LEPISTO, T; SALOMAA, A.Lecture notes in computer science. 1988, Vol 317, issn 0302-9743, XI-741 pConference Proceedings

Page / 5