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

Record Beta

Frontiers of Combining Systems (FroCoS)

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

This record is part of the confref event International Joint Conference on Automated Reasoning.

rdf:typeportal:Conference
schema:locationSeattle (wd:Q5083)
rdfs:labelFrontiers of Combining Systems (FroCoS)
portal:acronymFROCOS
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:citySeattle
portal:countryUSA
portal:endDate2006-08-20
portal:keywordDASH
portal:keywordIsomorphism
portal:keywordLNH
portal:keywordLambda-calculus
portal:keywordScheme
portal:keywordSymmetry breaking
portal:keyworddynamic logic
portal:keywordlogical foundations of programming languages
portal:keywordnominal logic
portal:keywordobject-orientation
portal:keywordprimitive recursion
portal:keywordprogram logic
portal:keywordproof assistants
portal:keywordsequent calculus
portal:keywordsoftware verification
portal:nameFrontiers of Combining Systems (FroCoS)
portal:portalPagehttp://portal.confref.org/list/frocos2006
portal:serieshttps://id.confref.org/data/confref-portal/series/frocos
portal:startDate2006-08-17
portal:submissionExtendedfalse
portal:year2006
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

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

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