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

Record Beta

International Conference on Relational Methods in Computer Science

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

This record is part of the confref event International Conference on Relational Methods in Computer Science.

rdf:typeportal:Conference
schema:locationMalente (wd:Q522056)
rdfs:labelInternational Conference on Relational Methods in Computer Science
portal:acronymRelMiCS
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityBad Malente
portal:countryGermany
portal:endDate2003-05-17
portal:keywordConfluence
portal:keywordGeach formula
portal:keywordIdempotent semiring
portal:keywordKleene algebra
portal:keywordProbabilistic relations
portal:keywordRelational proof system
portal:keywordembedding
portal:keywordimage and preimage operation
portal:keywordinformation relations
portal:keywordmodal logic
portal:keywordmodal operators
portal:keywordnon-deterministic
portal:keywordnondeterministic databases
portal:keywordpointer algebra
portal:keywordpointer structures
portal:keywordprogram development and analysis
portal:keywordrelational database
portal:keywordrelational systems
portal:keywordrepresentation theory
portal:keywordspecification techniques
portal:nameInternational Conference on Relational Methods in Computer Science
portal:portalPagehttp://portal.confref.org/list/ramics2003
portal:serieshttps://id.confref.org/data/confref-portal/series/ramics
portal:startDate2003-05-12
portal:submissionExtendedfalse
portal:year2003
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

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

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