×

Found 886 Documents (Results 1–100)

100
MathJax

Bounded automata groups are co-ET0L. (English) Zbl 1425.68275

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 82-94 (2019).
MSC:  68Q70 20F10
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the commutative equivalence of bounded semi-linear codes. (English) Zbl 1436.68165

Mercaş, Robert (ed.) et al., Combinatorics on words. 12th international conference, WORDS 2019, Loughborough, UK, September 9–13, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11682, 119-132 (2019).
MSC:  68Q45 20M35
PDF BibTeX XML Cite
Full Text: DOI

Finite-state techniques. Automata, transducers and bimachines. (English) Zbl 1465.68006

Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

Reducing transducer equivalence to register automata problems solved by “Hilbert method”. (English) Zbl 07561353

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 48, 16 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Most complex deterministic union-free regular languages. (English) Zbl 1435.68150

Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 37-48 (2018).
MSC:  68Q45 20M35
PDF BibTeX XML Cite
Full Text: DOI arXiv

The language of self-avoiding walks. Connective constants of quasi-transitive graphs. (English) Zbl 1407.05002

BestMasters. Wiesbaden: Springer Spektrum (Master Thesis) (ISBN 978-3-658-24763-8/pbk; 978-3-658-24764-5/ebook). viii, 65 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Polishness of some topologies related to automata. (English) Zbl 1434.03100

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 22, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Growth of groups. (English) Zbl 1430.20045

Clay, Matt (ed.) et al., Office hours with a geometric group theorist. Princeton, NJ: Princeton University Press. 237-266 (2017).
MSC:  20F69 20-01
PDF BibTeX XML Cite
Full Text: DOI

Normal forms in semantic language identification. (English) Zbl 1403.68098

Hanneke, Steve (ed.) et al., International conference on algorithmic learning theory. Proceedings of the 28th conference (ALT 2017), Kyoto University, Kyoto, Japan, October 15–17, 2017. [s.l.]: Proceedings of Machine Learning Research PMLR. Proceedings of Machine Learning Research (PMLR) 76, 493-516 (2017).
MSC:  68Q32 68Q45
PDF BibTeX XML Cite
Full Text: Link

The dot-depth hierarchy, 45 years later. (English) Zbl 1404.68073

Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific (ISBN 978-981-3148-19-2/hbk; 978-981-3148-21-5/ebook). 177-201 (2017).
MSC:  68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI HAL

Definition of the languages XML and RDF of the semantic web in the metalanguage of normal forms of knowledge. (English. Russian original) Zbl 1380.68348

Cybern. Syst. Anal. 53, No. 5, 684-691 (2017); translation from Kibern. Sist. Anal. 2017, No. 5, 34-42 (2017).
MSC:  68T30 68M11 68T35
PDF BibTeX XML Cite
Full Text: DOI

On minimization of deterministic automaton with rough output. (English) Zbl 1494.68150

Arumugam, S. (ed.) et al., Theoretical computer science and discrete mathematics. First international conference, ICTCSDM 2016, Krishnankoil, India, December 19–21, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10398, 383-391 (2017).
MSC:  68Q45 20M35
PDF BibTeX XML Cite
Full Text: DOI

Polynomial time learner for inferring subclasses of internal contextual grammars with local maximum selectors. (English) Zbl 1444.68082

Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 174-191 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Complexity of left-ideal, suffix-closed and suffix-free regular languages. (English) Zbl 1485.68138

Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 171-182 (2017).
MSC:  68Q45 20M35
PDF BibTeX XML Cite
Full Text: DOI arXiv

Herbrand confluence for first-order proofs with \(\Pi_2\)-cuts. (English) Zbl 1433.03133

Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 5-40 (2016).
MSC:  03F05 68Q42 03F07
PDF BibTeX XML Cite
Full Text: DOI

Varieties of cost functions. (English) Zbl 1388.68192

Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 30, 14 p. (2016).
MSC:  68Q70 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Characterizing classes of regular languages using prefix codes of bounded synchronization delay. (English) Zbl 1388.68165

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 129, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

The Schützenberger product for syntactic spaces. (English) Zbl 1388.68193

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 112, 14 p. (2016).
MSC:  68Q70 03D05 06E15
PDF BibTeX XML Cite
Full Text: DOI arXiv

XMG 2: describing description languages. (English) Zbl 1483.68459

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 255-272 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Compositional event semantics in pregroup grammars. (English) Zbl 1483.68457

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 99-115 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Proof assistants for natural language semantics. (English) Zbl 1483.68456

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 85-98 (2016).
MSC:  68T50 68V15
PDF BibTeX XML Cite
Full Text: DOI

Weighted restarting automata as language acceptors. (English) Zbl 1475.68168

Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9705, 298-309 (2016).
MSC:  68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Overhauling SC atomics in C11 and OpenCL. (English) Zbl 1347.68034

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 634-648 (2016).
MSC:  68N15 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

On the formalization of some results of context-free language theory. (English) Zbl 1478.68133

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 338-357 (2016).
MSC:  68Q45 68Q42 68V20
PDF BibTeX XML Cite
Full Text: DOI Link

Formal attributes traceability in modular language development frameworks. (English) Zbl 1345.68033

Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 119-134, electronic only (2016).
MSC:  68N15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software