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

Record Beta

Mathematical Foundations of Computer Science (MFCS)

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

This record is part of the confref event International Symposium on Mathematical Foundations of Computer Science.

rdf:typeportal:Conference
schema:locationSzklarska Poręba (wd:Q186495)
rdfs:labelMathematical Foundations of Computer Science (MFCS)
portal:acronymMFCS
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:citySzklarska Poreba
portal:countryPoland
portal:endDate1999-09-10
portal:keywordApproximation algorithms
portal:keywordArithmetical hierarchy
portal:keywordAutomata theory
portal:keywordCellular automata
portal:keywordCellular automaton
portal:keywordChaos Theory
portal:keywordFour-valued logics
portal:keywordInconsistency
portal:keywordLogic programming
portal:keywordMazurkiewicz semi-traces
portal:keywordMessage sequence graphs
portal:keywordNP-hardness
portal:keywordclosure under reversal
portal:keywordcomputational problems of diophantine equations
portal:keyworddiscrete time dynamical system
portal:keywordextended gcd computations
portal:keywordinteractive proof systems
portal:keywordlogics of knowledge
portal:keywordone-way cellular automata
portal:keywordparallel language recognition
portal:nameMathematical Foundations of Computer Science (MFCS)
portal:portalPagehttp://portal.confref.org/list/mfcs1999
portal:serieshttps://id.confref.org/data/confref-portal/series/mfcs
portal:startDate1999-09-06
portal:submissionExtendedfalse
portal:year1999
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/mfcs/mfcs99
cr:sameAshttps://id.confref.org/data/confident/43956

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

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