scientific article

From MaRDI portal

Publication:4028163

Jump to:navigation, search

zbMATH Open0794.68107MaRDI QIDQ4028163

Gjalt G. de Jong

Publication date: 28 March 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional temporal logic Müller automata syntax directed mapping

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4028163&oldid=17741188"