Record Beta

Conference on Computability in Europe (CiE)

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

This record is part of the confref event Conference on Computability in Europe.

rdf:type	portal:Conference
schema:location	Turku (wd:Q38511)
rdfs:label	Conference on Computability in Europe (CiE)
portal:acronym	CIE
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Turku
portal:country	Finland
portal:endDate	2017-06-16
portal:keyword	$$(alpha , m)$$ -retractive morphism
portal:keyword	(Strictly) locally testable
portal:keyword	2-c.e. Turing degrees
portal:keyword	An optimal propositional proof system
portal:keyword	Automated theorem proving
portal:keyword	Backtrack reducibility
portal:keyword	Baire space
portal:keyword	Binary expansion
portal:keyword	Biomolecular computing
portal:keyword	Categoricity spectrum
portal:keyword	Cellular automaton
portal:keyword	Classical computation
portal:keyword	Combinatorics on words
portal:keyword	Computable infinitary equivalence
portal:keyword	Computable structure
portal:keyword	Computationalism
portal:keyword	Continued fractions
portal:keyword	computability
portal:keyword	h-preorder
portal:keyword	k-partition
portal:name	Conference on Computability in Europe (CiE)
portal:portalPage	http://portal.confref.org/list/cie2017
portal:series	https://id.confref.org/data/confref-portal/series/cie
portal:startDate	2017-06-12
portal:submissionExtended	false
portal:year	2017
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/cie/cie2017

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