海量图书期刊资源,随时随地畅享阅读乐趣
Associative language descriptionsAlessandra Cherubini; Stefano Crespi Reghizzi; Pierluigi San Pietro · 2002
Associative definition of programming languagesStefano Crespi Reghizzi; Matteo Pradella; Pierluigi San Pietro · 2000
Counter machines, Petri Nets, and consensual computationCrespi Reghizzi, Stefano; San Pietro, Pierluigi · Theoretical Computer Science · 2015
Deque automata, languages, and planar graph representationsCrespi Reghizzi, Stefano; San Pietro, Pierluigi · Theoretical Computer Science · 2020
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGESCRESPI REGHIZZI, STEFANO; SAN PIETRO, PIERLUIGI · International Journal of Foundations of Computer Science · 2012
Picture languages: Tiling systems versus tile rewriting grammarsAlessandra Cherubini; Stefano Crespi Reghizzi; Matteo Pradella; Pierluigi San Pietro · 2006
A scalable formal method for design and automatic checking of user interfacesBerstel, Jean; Reghizzi, Stefano Crespi; Roussel, Gilles; Pietro, Pierluigi San · ACM Transactions on Software Engineering and Methodology · 2005
JUMPING FINITE AUTOMATAMEDUNA, ALEXANDER; ZEMEK, PETR · International Journal of Foundations of Computer Science · 2012
QUANTUM OCTAL GAMESGRAVIER, SYLVAIN; JORRAND, PHILIPPE; MHALLA, MEHDI; PAYAN, CHARLES · International Journal of Foundations of Computer Science · 2006
EQUATIONAL DESCRIPTIONS OF LANGUAGESPIN, JEAN-ÉRIC · International Journal of Foundations of Computer Science · 2012
APPROXIMATE BLOCK SORTINGMAHAJAN, MEENA; RAMA, RAGHAVAN; RAMAN, VENKATESH; VIJAYKUMAR, S. · International Journal of Foundations of Computer Science · 2006
IN MEMORIAM CHANDRA KINTALAKAPPES, MARTIN; MALCHER, ANDREAS; WOTSCHKE, DETLEF · International Journal of Foundations of Computer Science · 2012
PREFACEMOREIRA, NELMA; REIS, ROGÉRIO · International Journal of Foundations of Computer Science · 2013
THE VIRTUAL SUFFIX TREELIN, JIE; JIANG, YUE; ADJEROH, DON · International Journal of Foundations of Computer Science · 2009
REASONING ABOUT TRANSFINITE SEQUENCESDEMRI, STÉPHANE; NOWAK, DAVID · International Journal of Foundations of Computer Science · 2007