scientific article

From MaRDI portal

Publication:3780493

Jump to:navigation, search

zbMath0639.68102MaRDI QIDQ3780493

Michel de Rougemont

Publication date: 1986

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

zbMATH Keywords

time complexity logic programming finite structures computation rule inductive queries PROLOG semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13) Information storage and retrieval of data (68P20)

This page was built for publication:

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