cicyt UNIZAR

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Mon, 19 Mar 2018

[1]  arXiv:1803.06168 [pdf, other]
Title: Regular and First Order List Functions
Subjects: Formal Languages and Automata Theory (cs.FL)
[2]  arXiv:1803.06163 [pdf, ps, other]
Title: Unambiguous languages exhaust the index hierarchy
Subjects: Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:1803.06140 [pdf, ps, other]
Title: Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
Authors: Christof Löding (1), Christopher Spinrath (2) ((1) RWTH Aachen University, (2) TU Dortmund University)
Comments: 31 pages, submitted to DMTCS, extended version of the paper with the same title published in the conference proceedings of FCT 2017
Subjects: Formal Languages and Automata Theory (cs.FL)

Tue, 13 Mar 2018

[4]  arXiv:1803.04312 [pdf, other]
Title: Space-Efficient Bimachine Construction Based on the Equalizer Accumulation Principle
Subjects: Formal Languages and Automata Theory (cs.FL)

Fri, 9 Mar 2018

[5]  arXiv:1803.03158 [pdf, ps, other]
Title: Degrees of Infinite Words, Polynomials, and Atoms (Extended Version)
Subjects: Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:1803.02975 (cross-list from cs.SY) [pdf, other]
Title: Verifying nonlinear analog and mixed-signal circuits with inputs
Comments: 8 pages, 8 figures, a shorter version will appear on the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018)
Subjects: Systems and Control (cs.SY); Formal Languages and Automata Theory (cs.FL)

Thu, 8 Mar 2018

[7]  arXiv:1803.02651 (cross-list from cs.LO) [pdf, other]
Title: Borel Kernels and their Approximation, Categorically
Comments: 17 pages, 4 figures
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

Thu, 1 Mar 2018

[8]  arXiv:1802.10555 [pdf, ps, other]
Title: Continuity and Rational Functions
Comments: 28 pages, LMCS submission for ICALP'17 special issue
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[9]  arXiv:1802.10355 [pdf, ps, other]
Title: Improved Upper Bounds on all Maximal $α$-gapped Repeats and Palindromes
Subjects: Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:1802.10203 (cross-list from cs.NE) [pdf, other]
Title: Behavioral Learning of Aircraft Landing Sequencing Using a Society of Probabilistic Finite State Machines
Subjects: Neural and Evolutionary Computing (cs.NE); Formal Languages and Automata Theory (cs.FL); Learning (cs.LG)
[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)