Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Implementation and Application of Automata

From MaRDI portal
Publication:5463973
Jump to:navigation, search

DOI10.1007/b105090zbMath1115.68433OpenAlexW4302765085WikidataQ56387363 ScholiaQ56387363MaRDI QIDQ5463973

Johannes Waldmann, Alfons Geser, Dieter Hofbauer, Hans Zantema

Publication date: 17 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b105090


Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)


Related Items

Termination of string rewriting proved automatically, Match-bounded string rewriting systems


Uses Software

  • AProVE
  • Matchbox
  • TORPA


Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5463973&oldid=20246211"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 9 February 2024, at 12:04.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki