Special Issue on Implementation and Application of Automata — CIAA 2006
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Oscar H. Ibarra, Hsu-Chun Yen
Special Issue on Implementation and Application of Automata — CIAA 2006
CIAA, 2007.

FLT
no DBLP info
Scholar
Full names Links ISxN
@proceedings{CIAA-J-2006,
	editor        = "Oscar H. Ibarra and Hsu-Chun Yen",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 4,
	publisher     = "{World Scientific}",
	title         = "{Special Issue on Implementation and Application of Automata — CIAA 2006}",
	volume        = 18,
	year          = 2007,
}

Contents (15 items)

CIAA-J-2006-Li07 #distance
Information Distance and its Applications (ML0), pp. 669–681.
CIAA-J-2006-SalomaaY07 #complexity #estimation #on the
On the State Complexity of Combined Operations and their Estimation (KS, SY), pp. 683–698.
CIAA-J-2006-AbdullaHK07 #automaton #bisimulation
Bisimulation Minimization of Tree Automata (PAA, JH, LK), pp. 699–713.
CIAA-J-2006-BastienCFR07 #exponential
Reducing Simple Grammars: Exponential against Highly-Polynomial Time in Practice (CB, JC, WF, WR), pp. 715–725.
CIAA-J-2006-BloemCPR07 #automaton #implementation
Symbolic Implementation of Alternating Automata (RB, AC, IP, MR), pp. 727–743.
CIAA-J-2006-BordihnHK07 #automaton #finite #hybrid
Hybrid Extended Finite Automata (HB, MH, MK), pp. 745–760.
CIAA-J-2006-CortesMR07 #automaton #distance #equivalence #probability
LP Distance and Equivalence of Probabilistic Automata (CC, MM, AR), pp. 761–779.
CIAA-J-2006-CrochemoreIS07
The Structure of Factor Oracles (MC, LI, ESH), pp. 781–797.
CIAA-J-2006-GiraudVL07 #automaton
Path-Equivalent Developments in Acyclic Weighted Automata (MG, PV, DL), pp. 799–811.
CIAA-J-2006-Glockler07 #automaton
Forgetting Automata and Unary Languages (JG), pp. 813–827.
CIAA-J-2006-Maletti07
Pure and O-Substitution (AM), pp. 829–845.
CIAA-J-2006-NicartCCGK07 #automaton #multi
Labelling Multi-Tape Automata with Constrained Symbol Classes (FN, JMC, TC, TG, AK), pp. 847–858.
CIAA-J-2006-SimunekM07 #automaton #finite
Borders and Finite Automata (MS, BM), pp. 859–871.
CIAA-J-2006-CzeizlerK07 #equation #independence #on the #word
On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns (EC, JK), pp. 873–897.
CIAA-J-2006-BallaRM07 #algorithm #performance
Efficient Algorithms for degenerate Primer Search (SB, SR, IIM), pp. 899–910.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.