Skip to main navigation Skip to search Skip to main content

Two-Way One-Counter Nets Revisited

  • Technion - Israel Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication33rd EACSL Annual Conference on Computer Science Logic, CSL 2025
EditorsJorg Endrullis, Sylvain Schmitz
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959773621
DOIs
StatePublished - Feb 3 2025
Event33rd EACSL Annual Conference on Computer Science Logic, CSL 2025 - Amsterdam, Netherlands
Duration: Feb 10 2025Feb 14 2025

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume326
ISSN (Print)1868-8969

Conference

Conference33rd EACSL Annual Conference on Computer Science Logic, CSL 2025
Country/TerritoryNetherlands
CityAmsterdam
Period2/10/252/14/25

ASJC Scopus Subject Areas

  • Software

Keywords

  • Automata
  • Counter Net
  • Two way

Cite this