BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
automata (6)
finit (3)
equival (3)
synchron (3)
reduct (2)

Stem multitap$ (all stems)

8 papers:

CIAACIAA-J-2012-IbarraT13 #automaton #how #multi
How to synchronize the Heads of a Multitape Automaton (OHI, NQT), pp. 799–814.
ICALPICALP-v2-2013-Worrell #automaton #equivalence #finite #multi #problem
Revisiting the Equivalence Problem for Finite Multitape Automata (JW), pp. 422–433.
CIAACIAA-2012-IbarraT #automaton #how #multi
How to Synchronize the Heads of a Multitape Automaton (OHI, NQT), pp. 192–204.
LATALATA-2012-IbarraT #automaton #multi #turing machine
Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines (OHI, NQT), pp. 337–350.
LATALATA-2010-LetichevskySS #automaton #equivalence #finite #multi #problem #proving #using
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape (AAL, ASS, SKS), pp. 392–402.
CIAACIAA-2005-TammNU #automaton #multi #reduction
Size Reduction of Multitape Automata (HT, MN, EU), pp. 307–318.
CIAACIAA-2004-TammNU #automaton #multi #reduction
Size Reduction of Multitape Automata (HT, MN, EU), pp. 329–330.
STOCSTOC-1990-HarjuK #automaton #decidability #equivalence #finite #multi
Decidability of the Multiplicity Equivalence of Multitape Finite Automata (TH, JK), pp. 477–481.

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.