Вы здесь

Главная

контекстно-свободный

Связанные издания:

Advances in Grid and Pervasive Computing: Proc./7th Internarional Conference, GPC 2012, Hong Kong, China, May 2012
A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes
A Genetic Algorithm for Grammatical Inference
Agents for Educational Games and Simulations: Revised Papers/ International Workshop, AEGS 2011, Taipei, Taiwan, May 2011
Algebraic Informatics: Proc./Third International Conference, CAI 2009, Thessaloniki, Grees, May 2009
Bisimulation Equivalence is Decidable for all Context-Free Processes
Branching Bisimulation for Context-Free Processes
Combinatorial Image Analysis: Proc./16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 2014
Composition, Decomposition and Model Checking of Pushdown Processes
Computational Linguistics and Intelligent Text Pricessing, Part I: Proc./13th International Conference, CICLing 2012, New Delhi, India, March 2012
Computer Aided Verifications: Proc./ 23rd International Conference, CAV 2011, Snowbird,UT,USA, July 2011
Computer Information Systems and Industrial Management: Proc./13th IFIP TC8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 2014
Computer Science - Theory and Applications: Proc./6th International Computer Science Symposium in Russia, CSR 2011, St.Petersburg, Russia, June 2011
Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement
Descriptional Complexity of Formal Systems: Proc./15th International Workshop, DCFS 2013, London,ON,Canada, July 2013
Descriptional Complexity of Formal Systems: Proc./16th International Workshop, DCFS 2014, Turku, Finland, August 2014
Desidable Sentences for Context-Free Groups
Developments in Language Theory: Proc./10th International Conference, DLT 2006. Santa Barbara, CA, USA, June 2006
Developments in Language Theory: Proc./11th International Conference, DLT 2007. Turku, Finland, July 2007
Developments in Language Theory: Proc./13th International Conference, DLT 2009. Stuttgart, Germany, June/July 2009
Developments in Language Theory: Proc./16th International Conference, DLT 2012, Taipei, Taiwan, August 2012
Developments in Language Theory: Proc./17th International Conference, DLT 2013, Marne-la-Vallee, France, June 2013
Developments in Language Theory: Proc./18th International Conference, DLT 2014, Ekaterinburg, Russia, August 2014
Developments in Language Theory: Proc./8th International Conference, DLT 2004. Auckland, New Zealand, December 2004
Dynamic Grammars and Semantic Analysis
Five Facets of Hyperedge Replacement Beyond Context-Freeness
Formal Languages Consisting of Primitive Words
Foundations of Software Science and Computation Structures: Proc./20th International Conference, FOSSACS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Implementation and Application of Automata: Proc./18th International Conference, CIAA 2013, Halifax,NS,Canada, July 2013
Implementation and Application of Automata: Proc./19th International Conference, CIAA 2014, Giessen, Germany, July 2014
Implementation and Application of Automata: Revised Selected Papers/ 12th International Conference CIAA 2007. Prague, Czech Republic, July 2007
Implementation and Application of Automata: Revised Selected Papers/9th International Conference, CIAA 2004. Kingston, Canada, July 2004
Interactive Synthesis of Definite-Clause Grammars
Internet of Things, Smart Spaces, and Next Generation Networking: Proc./12th International Conference, NEW2AN 2012 and 5th Conference, ruSMART 2012, St.Petersburg, Russia, August 2012
Language Engineering and Rigorous Software Development: Recides Tutorial Lectires/ International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February/March 2008
Local Model Checking for Parallel Compositions of Context-Free Processes
Logical Aspects of Computational Linguistics: Proc./8th Interbational Conference, LACL 2014, Toulouse, France, June 2014
Logic, Language, Information and Computation: Proc./17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 2010
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira s Scientific Legacy. Part I: Proc./3nd International Work-Conference, IWINAC 2009, Spain, June 2009
Mobile Web and Intelligent Information Systems: Proc./15th International Conference, MobiWIS 2018, Barcelona, Spain, August 2018
Model Checking for Context-Free Processes
Multidisciplinary Information Retrieval: Proc./Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 2011
Natural Language Processing and Information Systems: Proc./20th International Conference on Applications of NL to Information Systems, NLDB 2015, Passau, Germany, June 2015
On finitely generated non-finite presentations of groups and monoids
On Picture Languages: Cycles and Syntax-Directed Transformations
On regular tree languages and Deterministic Pushdown automata
Practical Aspects of Declarative Languages: Proc./13th International Symposium, PADL 2011, Austin,TX,USA, January 2011
Progress in Artificial Intelligence: Proc./14th Portuguese Conference, EPIA 2009, Aveiro, Portugal, October 2009
Pushdown Processes: Parallel Composition and Model Checking
Regular Approximations to Shuffle Products of Context-Free Languages, and Convergence of Their Generating Functions