Record Beta

IFIP International Conference on Theoretical Computer Science

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

rdf:type	portal:Conference
schema:location	Sendai (wd:Q46747)
rdfs:label	IFIP International Conference on Theoretical Computer Science
portal:acronym	TCS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Sendai
portal:country	Japan
portal:endDate	2000-08-19
portal:keyword	APX-hardness
portal:keyword	Abstract interpretation
portal:keyword	Algebraic complexity kw]Complexity bounds
portal:keyword	Anonymity
portal:keyword	Approximation algorithm
portal:keyword	Approximation algorithms
portal:keyword	Architecture-driven
portal:keyword	Bisimulation
portal:keyword	Complexity
portal:keyword	Composition
portal:keyword	Confidentiality
portal:keyword	Decidability
portal:keyword	Dependency Analysis
portal:keyword	Dolev-Yao Constraints
portal:keyword	blind signature
portal:keyword	cryptographic protocol
portal:keyword	deductive databases and knowledge bases
portal:keyword	distribution
portal:keyword	opacity
portal:name	IFIP International Conference on Theoretical Computer Science
portal:portalPage	http://portal.confref.org/list/tcs2000
portal:series	https://id.confref.org/data/confref-portal/series/tcs
portal:startDate	2000-08-17
portal:submissionExtended	false
portal:year	2000
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

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