Record Beta

International Conference on Relational and Algebraic Methods in Computer Science

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

rdf:type	portal:Conference
schema:location	Marienstatt Abbey (wd:Q334038)
rdfs:label	International Conference on Relational and Algebraic Methods in Computer Science
portal:acronym	RAMICS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Marienstatt
portal:country	Germany
portal:endDate	2014-05-01
portal:keyword	Chebyshev distance
portal:keyword	Communication
portal:keyword	Concurrency
portal:keyword	Concurrent Kleene Algebra
portal:keyword	Concurrent Kleene algebras
portal:keyword	Correctness
portal:keyword	Decidability
portal:keyword	absolute coequalizer
portal:keyword	algebraic approaches to concurrency
portal:keyword	algebraic logic
portal:keyword	arrow relations
portal:keyword	completeness theorem
portal:keyword	contingent fault
portal:keyword	continuity
portal:keyword	cylindric algebras
portal:keyword	database theory
portal:keyword	definite fault
portal:keyword	distributive law
portal:keyword	domain operator
portal:keyword	existential image
portal:name	International Conference on Relational and Algebraic Methods in Computer Science
portal:portalPage	http://portal.confref.org/list/ramics2014
portal:series	https://id.confref.org/data/confref-portal/series/ramics
portal:startDate	2014-04-28
portal:submissionExtended	false
portal:year	2014
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/RelMiCS/ramics2014

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