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

Record Beta

Foundations of Software Technology and Theoretical Computer Science (FSTTCS)

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

This record is part of the confref event IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.

rdf:typeportal:Conference
schema:locationBengaluru (wd:Q1355)
rdfs:labelFoundations of Software Technology and Theoretical Computer Science (FSTTCS)
portal:acronymFSTTCS
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityBangalore
portal:countryIndia
portal:endDate1989-12-21
portal:keywordAI in database
portal:keywordAlgebraic Specifications
portal:keywordApproximation algorithms
portal:keywordAutoepistemic Logic
portal:keywordClosed World Assumption
portal:keywordComplete Database
portal:keywordD.2.1 Specification
portal:keywordD.2.10 Design methodologies
portal:keywordD.2.2 Modules and interfaces
portal:keywordD.2.7 Version control
portal:keywordD.2.9 Software configuration management
portal:keywordD.3.3 Abstract data types
portal:keywordDeductive Database
portal:keywordDynamic programming
portal:keywordE1 (Data structures)
portal:keywordF.2 (Analysis of algorithms)
portal:keywordF.3.1 Specification techniques
portal:keywordF2 (Analysis of algorithms and problem complexity)
portal:keywordconfiguration families
portal:keywordformal specification development
portal:nameFoundations of Software Technology and Theoretical Computer Science (FSTTCS)
portal:portalPagehttp://portal.confref.org/list/fsttcs1989
portal:serieshttps://id.confref.org/data/confref-portal/series/fsttcs
portal:startDate1989-12-19
portal:submissionExtendedfalse
portal:year1989
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAswd:Q106333682
cr:sameAshttps://dblp.org/db/conf/fsttcs/fsttcs89
cr:sameAshttps://id.confref.org/data/confident/38799

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

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