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

Record Beta

Descriptional Complexity of Formal Systems

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

This record is part of the confref event International Workshop on Descriptional Complexity of Formal Systems.

rdf:typeportal:Conference
schema:locationBraga (wd:Q83247)
rdfs:labelDescriptional Complexity of Formal Systems
portal:acronymDCFS
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityBraga
portal:countryPortugal
portal:endDate2012-07-25
portal:keywordDescriptional Complexity
portal:keywordDeterministic
portal:keywordFinite State Automata
portal:keywordFinite automata
portal:keywordcapsules
portal:keywordcentralized PC system
portal:keyworddecidability questions
portal:keyworddeterministic tree automata
portal:keywordfinite automaton
portal:keywordfunctional programming
portal:keywordgenerative power
portal:keywordimperative programming
portal:keywordinfinite hierarchy of language families
portal:keywordlanguage operations
portal:keywordlimited nondeterminism
portal:keywordlimited pushdown alphabets
portal:keywordmonotonic
portal:keywordmulti-head pushdown automaton
portal:keywordnearly monotonic
portal:keywordnondeterministic pushdown automata
portal:nameDescriptional Complexity of Formal Systems
portal:portalPagehttp://portal.confref.org/list/dcfs2012
portal:serieshttps://id.confref.org/data/confref-portal/series/dcfs
portal:startDate2012-07-23
portal:submissionExtendedfalse
portal:year2012
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/dcfs/dcfs2012

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

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