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

Record Beta

Analytic Tableaux and Related Methods (TABLEAUX)

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

This record is part of the confref event Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings.

rdf:typeportal:Conference
schema:locationLondon (wd:Q84)
rdfs:labelAnalytic Tableaux and Related Methods (TABLEAUX)
portal:acronymTABLEAUX
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityLondon
portal:countryUK
portal:endDate2019-09-05
portal:keyword$$mu $$ ? -calculus
portal:keywordAbility Logic
portal:keywordCircular proofs
portal:keywordCoherence
portal:keywordCoinduction
portal:keywordCombinatorial proofs
portal:keywordComplexity
portal:keywordCountermodel generation
portal:keywordCyber-physical systems
portal:keywordData ordinals
portal:keywordDefeasible reasoning
portal:keywordFixed Points
portal:keywordLinear Logic
portal:keywordNon-wellfounded proofs
portal:keywordcographs
portal:keywordcontexts
portal:keywordcut-elimination
portal:keyworddeep inference
portal:keywordmodal logic
portal:keywordsequent calculus
portal:nameAnalytic Tableaux and Related Methods (TABLEAUX)
portal:portalPagehttp://portal.confref.org/list/tableaux2019
portal:serieshttps://id.confref.org/data/confref-portal/series/tableaux
portal:startDate2019-09-03
portal:submissionExtendedfalse
portal:year2019
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/tableaux/tableaux2019

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

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