- Standort
-
Hannover TIB
- Umfang
-
61MB, 00:17:14:20 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)
- Schlagwort
-
Data Structures
Separation logic
Local reasoning
Flow framework
Graph algorithm
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Krishna, Siddharth
Summers, Alex J.
Wies, Thomas
- DOI
-
10.5446/54935
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Krishna, Siddharth
- Summers, Alex J.
- Wies, Thomas
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Expander graphs both local and global
Equality reasoning based on graphs
Temporal Knowledge Graph Embedding and Reasoning
Hypothesis generation for object pose estimation - from local sampling to global reasoning
Hypothesis Generation for Object Pose Estimation From local sampling to global reasoning
Inferring ontology graph structures using OWL reasoning
Reasoning with alternative acyclic directed mixed graphs
Reverse exchange for concurrency and local reasoning
A Logic for Conditional Local Strategic Reasoning
Concurrency and local reasoning under reverse exchange
Algorithms and Hardware for Reasoning in Factor Graphs
Subsystem-Based Methods for Global and Local Optical Properties
Expander graphs both local and global
Equality reasoning based on graphs
Temporal Knowledge Graph Embedding and Reasoning
Hypothesis generation for object pose estimation - from local sampling to global reasoning
Hypothesis Generation for Object Pose Estimation From local sampling to global reasoning
Inferring ontology graph structures using OWL reasoning
Reasoning with alternative acyclic directed mixed graphs
Reverse exchange for concurrency and local reasoning
A Logic for Conditional Local Strategic Reasoning
Concurrency and local reasoning under reverse exchange
Algorithms and Hardware for Reasoning in Factor Graphs
Subsystem-Based Methods for Global and Local Optical Properties
Expander graphs both local and global
Equality reasoning based on graphs
Temporal Knowledge Graph Embedding and Reasoning
Hypothesis generation for object pose estimation - from local sampling to global reasoning
Hypothesis Generation for Object Pose Estimation From local sampling to global reasoning
Inferring ontology graph structures using OWL reasoning
Reasoning with alternative acyclic directed mixed graphs
Reverse exchange for concurrency and local reasoning
A Logic for Conditional Local Strategic Reasoning
Concurrency and local reasoning under reverse exchange
Algorithms and Hardware for Reasoning in Factor Graphs