scientific article; zbMATH DE number 1392308
From MaRDI portal
Publication:4936147
zbMATH Open0945.03551MaRDI QIDQ4936147FDOQ4936147
Authors: Thomas Eiter, Georg Gottlob, Yuri Gurevich 
Publication date: 25 January 2000
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Model theory of finite structures (03C13) Specification and verification (program logics, model checking, etc.) (68Q60) Second- and higher-order model theory (03C85)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4936147)
