scientific article

From MaRDI portal

Publication:2767035

Jump to:navigation, search

zbMath0988.03052MaRDI QIDQ2767035

Jean-Marc Talbot

Publication date: 22 July 2002

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

Extending Co-logic Programs for Branching-Time Model Checking

This page was built for publication:

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