Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Logic and Machines

https://id.confref.org/data/confref-portal/event/lam1983

This record is part of the confref event Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen.

rdf:typeportal:Conference
schema:locationMünster (wd:Q2742)
rdfs:labelLogic and Machines
portal:acronymLAM
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityMünster
portal:countryGermany
portal:endDate1983-05-28
portal:keywordArea
portal:keywordAtomic Formula
portal:keywordBinary Number
portal:keywordBinomial Coefficient
portal:keywordBipartite graph
portal:keywordBoolean Formula
portal:keywordBoolean Matrix
portal:keywordBoolean algebra
portal:keywordBoolean function
portal:keywordBoolean network
portal:keywordBottom Clause
portal:keywordBound Alternation
portal:keywordPolynomial Hierarchy
portal:keywordPredicate Symbol
portal:keywordRecursion Theory
portal:keywordRecursive Function
portal:keywordTuring Machine
portal:keywordbinary operation
portal:keywordcomplexity class
portal:nameLogic and Machines
portal:portalPagehttp://portal.confref.org/list/lam1983
portal:serieshttps://id.confref.org/data/confref-portal/series/lam
portal:startDate1983-05-23
portal:submissionExtendedfalse
portal:year1983
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/lam/lam1983

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.