Record Beta

Descriptional Complexity of Formal Systems

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

rdf:type	portal:Conference
schema:location	Košice (wd:Q25409)
rdfs:label	Descriptional Complexity of Formal Systems
portal:acronym	DCFS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Košice
portal:country	Slovakia
portal:endDate	2019-07-19
portal:keyword	Adiabatic quantum computation
portal:keyword	Algebraic subshifts
portal:keyword	All-sided ideal
portal:keyword	Computational completeness
portal:keyword	Decidability
portal:keyword	Descriptional Complexity
portal:keyword	Deterministic Finite Automaton
portal:keyword	Difference hierarchy
portal:keyword	Geffert normal forms
portal:keyword	General framework
portal:keyword	Graph control
portal:keyword	Hamiltonian
portal:keyword	Regular language
portal:keyword	State complexity
portal:keyword	ambiguity
portal:keyword	combined operation
portal:keyword	commutative algebra
portal:keyword	domino problem
portal:keyword	factor
portal:keyword	finite automaton
portal:name	Descriptional Complexity of Formal Systems
portal:portalPage	http://portal.confref.org/list/dcfs2019
portal:series	https://id.confref.org/data/confref-portal/series/dcfs
portal:startDate	2019-07-17
portal:submissionExtended	false
portal:year	2019
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/dcfs/dcfs2019
cr:sameAs	https://id.confref.org/data/confident/37457

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