Record Beta

International Conference on Relational and Algebraic Methods in Computer Science

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

rdf:type	portal:Conference
schema:location	Kingdom of the Netherlands (wd:Q29999)
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	Rotterdam
portal:country	The Netherlands
portal:endDate	2011-06-03
portal:keyword	Business rules
portal:keyword	Centrality
portal:keyword	Dependently typed programming
portal:keyword	Influence
portal:keyword	RelView
portal:keyword	Social network
portal:keyword	algebras as data
portal:keyword	allegories of relational algebra morphisms
portal:keyword	domain-specific feedback
portal:keyword	existential image
portal:keyword	heterogeneous relation algebra
portal:keyword	nested algebras
portal:keyword	partiality
portal:keyword	prestige
portal:keyword	relation algebra
portal:keyword	relation
portal:keyword	requirements engineering
portal:keyword	rule based design
portal:keyword	specification language
portal:keyword	type system
portal:name	International Conference on Relational and Algebraic Methods in Computer Science
portal:portalPage	http://portal.confref.org/list/ramics2011
portal:series	https://id.confref.org/data/confref-portal/series/ramics
portal:startDate	2011-05-30
portal:submissionExtended	false
portal:year	2011
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/ramics2011

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