scientific article; zbMATH DE number 5273775

From MaRDI portal

Publication:5387355

Jump to:navigation, search

zbMath1157.03001MaRDI QIDQ5387355

Martin Kreuzer, Stefan Kühling

Publication date: 9 May 2008

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

zbMATH Keywords

modal logic propositional logic temporal logic term rewriting systems predicate logic Horn logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

This page was built for publication:

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