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

Record Beta

International Symposium on Logical Foundations of Computer Science

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

This record is part of the confref event Symposium on Logical Foundations Of Computer Science 2020.

rdf:typeportal:Conference
schema:locationDeerfield Beach (wd:Q584849)
rdfs:labelInternational Symposium on Logical Foundations of Computer Science
portal:acronymLFCS
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityDeerfield Beach, FL
portal:countryUSA
portal:endDate2020-01-07
portal:keywordAbduction
portal:keywordAlgebraic closure
portal:keywordAnalog computation
portal:keywordApplicative functor
portal:keywordBelief expansion
portal:keywordCo-clones
portal:keywordComputation on the reals
portal:keywordConstraint semantics
portal:keywordCountermodel construction
portal:keywordCut elimination
portal:keywordDatalog
portal:keywordDefinable closure
portal:keywordEpistemic logic
portal:keywordFeedback
portal:keywordFinite partial functions
portal:keywordIntuitionistic logic
portal:keywordProof theory
portal:keywordcomputable model theory
portal:keywordcut-elimination
portal:keywordmodal logic
portal:nameInternational Symposium on Logical Foundations of Computer Science
portal:portalPagehttp://portal.confref.org/list/lfcs2020
portal:serieshttps://id.confref.org/data/confref-portal/series/lfcs
portal:startDate2020-01-04
portal:submissionExtendedfalse
portal:year2020
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/lfcs/lfcs2020
cr:sameAshttps://id.confref.org/data/confident/11915

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

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