- ON NON-PERIODIC SOLUTIONS OF INDEPENDENT SYSTEMS OF WORD EQUATIONS OVER THREE UNKNOWNS ELENA CZEIZLER JUHANI KARHUMÄKI Fri 02 March 2012
- ON THE EXISTENCE OF LOOKAHEAD DELEGATORS FOR NFA BALA RAVIKUMAR NICOLAE SANTEAN Fri 02 March 2012
- CONJUNCTIVE GRAMMARS GENERATE NON-REGULAR UNARY LANGUAGES ARTUR JE.Z Fri 02 March 2012
- FINE HIERARCHY OF REGULAR APERIODIC ømega-LANGUAGES VICTOR SELIVANOV Fri 02 March 2012
- REACHABILITY PROBLEMS IN LOW-DIMENSIONAL ITERATIVE MAPS OLEKSIY KURGANSKYY IGOR POTAPOV FERNANDO SANCHO-CAPARRINI Fri 02 March 2012
- AN ALTERNATIVE CONSTRUCTION IN SYMBOLIC REACHABILITY ANALYSIS OF SECOND ORDER PUSHDOWN SYSTEMS ANIL SETH Fri 02 March 2012
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA ÉTIENNE ANDRÉ THOMAS CHATAIN LAURENT FRIBOURG EMMANUELLE ENCRENAZ Fri 02 March 2012
- SWITCHING GRAPHS JAN FRISO GROOTE BAS PLOEGER Fri 02 March 2012
- BOOLEAN GRAMMARS AND GSM MAPPINGS TOMMI LEHTINEN ALEXANDER OKHOTIN Fri 02 March 2012
- WORD EQUATIONS WITH ONE UNKNOWN MARKKU LAINE WOJCIECH PLANDOWSKI Fri 02 March 2012
- FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER DENIS LUGIEZ Fri 02 March 2012
- EARLIEST NORMAL FORM AND MINIMIZATION FOR BOTTOM-UP TREE TRANSDUCERS SYLVIA FRIESE HELMUT SEIDL SEBASTIAN MANETH Fri 02 March 2012
- TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING OLIVER FRIEDMANN MARTIN LANGE Fri 02 March 2012
- ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA SABINE BRODA ANTÓNIO MACHIAVELO NELMA MOREIRA ROGÉRIO REIS Fri 02 March 2012
- ON THE EDGE OF DECIDABILITY IN COMPLEXITY ANALYSIS OF LOOP PROGRAMS AMIR M. BEN-AMRAM LARS KRISTIANSEN Fri 02 March 2012
- THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ømega-LANGUAGE OLIVIER FINKEL Fri 02 March 2012
- ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS MOHAMED FAOUZI ATIG K. NARAYAN KUMAR PRAKASH SAIVASAN Fri 02 March 2012
- From Finite Automata to Regular Expressions and Back - A Summary on Descriptional Complexity Hermann Gruber Markus Holzer Fri 02 March 2012
- Scope-Bounded Pushdown Languages Salvatore La Torre Margherita Napoli Gennaro Parlato Fri 02 March 2012
- Reachability Problems for One-Dimensional Piecewise Affine Maps Olivier Bournez Oleksiy Kurganskyy Igor Potapov Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
