Combinatorics on words - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-02-23 13:10:09 Set theory Formal languages Ω-automaton Models of computation Combinatorics on words Büchi automaton Sequence Tree Infinity Mathematics Mathematical logic Automata theory		Add to Reading List Source URL: www.tcs.tifr.res.in Download Document from Source Website File Size: 411,57 KB Share Document on Facebook

	A Sharp Existence Theorem for Vortices in the Theory of Branes1 Xiaosen Han2 arXiv:1110.1423v2 [math-ph] 18 JunInstitute of Contemporary Mathematics DocID: 1gwxM - View Document
	Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: DocID: 1g1mb - View Document
	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 DocID: 1fGRo - View Document
	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting DocID: 1aONx - View Document
	¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty DocID: 1aJuC - View Document