Suchergebnisse

|Titel EN=Temporal constraint satisfaction problems in least fixed point logic |Beschreibung EN=The constraint satisfaction problem (CSP) for a fixed structure L with fini

{{LeftsidenavHeading|[[MCL/en|International Master]]}} <li>[[MCL/Introduction/en|Introduction]]</li>

|Titel EN=Deep Inference Christmas Meeting 2007 |Beschreibung EN=The idea of this workshop is to provide an informal atmosphere for discussi

|Titel EN=Computing Generalizations of Temporal EL Concepts with Next and Global |Beschreibung EN=In ontology-based applications, the authoring of complex concepts or querie

|Titel EN=From Provenance Polynomials to Provenance Patterns: More Mileage for Mere… |Beschreibung EN=Abstract:

|Title EN=11 Research Associates / PhD Students (m/f/x) |Beschreibung EN='''Topics and Work Location:''' Researchers of several disciplines are coll

|short description EN=Access logs from the Wikidata SPARQL Query Service |long description EN=This page describes multiple files with anonymised logs of several hundred