Вы здесь

Главная

конечный

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

A complition procedure for globally finite term rewriting systems
A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms
A Four Russians Algorithm for Regular Expression Pattern Matching
An Algebraic Foundation for Adaptive Programming
An Approach to Unfolding Asynchronous Communication Protocols
An Effective Model Checking for Mu-calculus: From Finite Systems Towards Systems with Real Time
A note on minimal cover-automata for finite languages
A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof
Arithmetic of Finite Fields: Proc./First International Workshop, WAIFI 2007. Madrid, Spain, June 2007
Arithmetic of Finite Fields: Revised Selected Papers/5th International Workshop, WAIFI 2014, Gebze, Turkey, September 2014
A Substitution Operation for Constraints
A Term Pattern-Match Compiler Inspired by Finite Automata Theory
Automata on Infinite Trees with Counting Constraints
Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012
Automatic Presentations of Structures
Beyond Finite Domains
Combinatorics on Words: Proc./10th International Conference, WORDS 2015, Kiel, Germany, September 2015
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets
Commutativity in groups presented by finite Church-Rosser Thue systems
Completions of perpetual Logic programs
Cyclic Automata Networks on Finite Graphs
Distributing Finite Transition Systems Extended Abstract
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains
Efficient Computation of Fourier Inversion for Finite Groups
Embedding Finite Sets in a Logic Programming Language
Event Automata as a Generic Model of Reactive Systems
Failure and Success made Symmetric
Fairness in Deadlockfree Petri Nets with the Finite Delay Property
Fault Propagation by Evaluation Solving
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability
Finding Maximum Convex Polygons
Finite Automata
Finite Difference Methods, Theory and Applications: Revised Selected Papers/6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 2014
Finite Fields and Applications: Proc./7th Intern. Conf., Fq7, Toulouse, France, May 2003
First-Order Logic on Finite Trees
Formal Composition of Distributed Scenarios
Generating Finite Counter Examples with Semantic Tableaux
Generating Finite State Machines from Abstract State Machines
Godel s Dialectica Interpretation and Its Two-Way Stretch
Groups presented by finite two-monadic Church-Rosser Thue systems
High-Level Constraints over Finite Domains
Image Compression Using Weighted Finite Automata
Incremental Generation of Lexical Scanners
Inductive Definability with Counting on Finite Structures
Iterative weighted finite Transductions
Language and Automata Theory and Applications: Proc./9th International Conference, LATA 2015
Large-Scale Scientific Computing: Revised Selected Papers/8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 2011
Logic, Language, Information and Computation: Proc./19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, Septeber 2012
Mathematical Software - ICMS 2014: Proc./4th International Congress, Seoul, South Korea, August 2014