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

Record Beta

Logical Foundations of Computer Science (LFCS)

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

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

rdf:typeportal:Conference
schema:locationDeerfield Beach (wd:Q584849)
rdfs:labelLogical Foundations of Computer Science (LFCS)
portal:acronymLFCS
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityDeerfield Beach
portal:countryUSA
portal:endDate2018-01-11
portal:keyword03C90
portal:keyword03D80
portal:keyword03E70
portal:keyword03F50
portal:keyword03F60
portal:keywordAutomata learning
portal:keywordAxiom of choice
portal:keywordBelief
portal:keywordBisimulation
portal:keywordBlockchain
portal:keywordCauchy condition
portal:keywordCoalgebra
portal:keywordCompleteness
portal:keywordEpistemology
portal:keywordJustification Logic
portal:keywordStructural proof theory
portal:keywordcategorical semantics
portal:keywordcompleteness theorem
portal:keywordmetastability
portal:keywordmodal logic
portal:nameLogical Foundations of Computer Science (LFCS)
portal:portalPagehttp://portal.confref.org/list/lfcs2018
portal:serieshttps://id.confref.org/data/confref-portal/series/lfcs
portal:startDate2018-01-08
portal:submissionExtendedfalse
portal:year2018
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/lfcs2018
cr:sameAshttps://id.confref.org/data/confident/11914

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

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