BibSonomy :: author  ::

bookmarks

publications

(589)

• Games for Temporal Logics on Trees.
  Zoltán Ésik and Szabolcs Iván CIAA 191-200 (2008)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Combination of Context-Free Grammars and Tree Automata for Unranked and Ranked Trees.
  Akio Fujiyoshi CIAA 283-285 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• On Complexity of Two Dimensional Languages Generated by Transducers.
  Egor Dolzhenko and Natasa Jonoska CIAA 181-190 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Approximate Periods with Levenshtein Distance.
  Martin Simunek and Borivoj Melichar CIAA 286-287 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Antimirov and Mosses's Rewrite System Revisited.
  Marco Almeida and Nelma Moreira and Rogério Reis CIAA 46-56 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• A Run-Time Efficient Implementation of Compressed Pattern Matching Automata.
  Tetsuya Matsumoto and Kazuhito Hagio and Masayuki Takeda CIAA 201-211 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Concurrency, Synchronization, and Conflicts in Petri Nets.
  Hsu-Chun Yen CIAA 33-35 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L).
  Jean-Marc Champarnaud and Jean-Philippe Dubernard and H. Jeanne CIAA 68-77 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Five Determinisation Algorithms.
  Rob J. van Glabbeek and Bas Ploeger CIAA 161-170 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Tree-Series-to-Tree-Series Transformations.
  Andreas Maletti CIAA 132-140 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX