scientific article

From MaRDI portal

Publication:4038676

Jump to:navigation, search

zbMath0774.03009MaRDI QIDQ4038676

A. A. Voronkov

Publication date: 18 May 1993

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

zbMATH Keywords

constructive logic constructive semantics extracting programs from proofs enumerated models

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

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