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

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

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

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

A parameterized view on matroid optimization problemsMARX, Dániel.Theoretical computer science. 2009, Vol 410, Num 44, pp 4471-4479, issn 0304-3975, 9 p.Conference Paper

[10th Annual European Symposium on Algorithms (ESA 2002), Rome, Italy, September 17-21, 2002]MÖHRING, Rolf; RAMAN, Rajeev.Algorithmica. 2005, Vol 42, Num 3-4, issn 0178-4617, 136 p.Conference Proceedings

Automata, languages and programming : [selected papers], Coventry, England, July 16-20, 1990PATTERSON, Michael S.Lecture notes in computer science. 1990, Vol 443, issn 0302-9743, 789 p.Conference Proceedings

Ninth international colloquium on automata, languages and programming (ICALP), Aarhus, Summer 1982SCHMIDT, E. M.Theoretical computer science. 1983, Vol 27, Num 3, pp 237-354, issn 0304-3975Conference Proceedings

CAAP'81. TREES IN ALGEBRA AND PROGRAMMING. 6TH COLLOQUIUM. GENOA, MARCH 5-7, 1981. PROCEEDINGSASTESIANO E ED; BOEHM C ED.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; 370 P.; BIBL. DISSEM.Conference Paper

THE COMPOSITIONAL CONSTRUCTION OF MARKOV PROCESSES IIDE FRANCESCO ALBASINI, L; SABADINI, N; WALTERS, R. F. C et al.Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, pp 117-142, issn 0988-3754, 26 p.Conference Paper

A categorical model for the geometry of interactionHAGHVERDI, Esfandiar; SCOTT, Philip.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 252-274, issn 0304-3975, 23 p.Conference Paper

A new algorithm for optimal 2-constraint satisfaction and its implicationsWILLIAMS, Ryan.Theoretical computer science. 2005, Vol 348, Num 2-3, pp 357-365, issn 0304-3975, 9 p.Conference Paper

Page / 4