Skip to main content
SpringerLink
Log in
Book cover

Language and Automata Theory and Applications

14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Alberto Leporati

    1. University of Milano-Bicocca, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carlos Martín-Vide

    1. Rovira i Virgili University, Tarragona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dana Shapira

    1. Ariel University, Ariel, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Claudio Zandron

    1. University of Milano-Bicocca, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12038)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: LATA 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  3. Algebraic Structures

    1. Front Matter

      Pages 113-113
      Download chapter PDF

    2. Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle

      • Dmitry Berdinsky, Prohrak Kruengthomya
      Pages 115-127

    3. \(\langle \mathbb {R}, +,<,1 \rangle \) Is Decidable in \(\langle \mathbb {R}, +,< ,\mathbb {Z}\rangle \)

      • Alexis Bès, Christian Choffrut
      Pages 128-140

    4. Ordered Semiautomatic Rings with Applications to Geometry

      • Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
      Pages 141-153

  4. Automata

    1. Front Matter

      Pages 155-155
      Download chapter PDF

    2. Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions

      • Siddharth Bhaskar, Jane Chandlee, Adam Jardine, Christopher Oakden
      Pages 157-169

    3. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models

      • Susanna Donatelli, Serge Haddad
      Pages 170-183

    4. Windable Heads and Recognizing NL with Constant Randomness

      • Mehmet Utkan Gezer
      Pages 184-195

    5. Alternating Finite Automata with Limited Universal Branching

      • Chris Keeler, Kai Salomaa
      Pages 196-207

    6. Pebble-Intervals Automata and FO\(^2\) with Two Orders

      • Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
      Pages 208-221

    7. Limited Two-Way Deterministic Finite Automata with Advice

      • Ahmet Bilal Uçan
      Pages 222-232

  5. Complexity

    1. Front Matter

      Pages 233-233
      Download chapter PDF
Back to top

Other volumes

  1. Language and Automata Theory and Applications

Keywords

About this book

This book constitutes the proceedings of the 14th International Conference on Language and Automata Theory and Applications, LATA 2020, which was planned to be held in Milan, Italy, in March 2020. Due to the corona pandemic, the actual conference was postponed and will be held together with LATA 2021.
The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. They were organized in topical sections named: algebraic structures; automata; complexity; grammars; languages; trees and graphs; and words and codes. The book also contains 6 invited papers in full-paper length. 

Editors and Affiliations

  • University of Milano-Bicocca, Milan, Italy

    Alberto Leporati, Claudio Zandron

  • Rovira i Virgili University, Tarragona, Spain

    Carlos Martín-Vide

  • Ariel University, Ariel, Israel

    Dana Shapira

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation