|
Conferences in DBLP
Introduction. [Citation Graph (, )][DBLP]
A Sequent Based Logic for Coincidence Grids. [Citation Graph (, )][DBLP]
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic. [Citation Graph (, )][DBLP]
Spider Diagrams of Order. [Citation Graph (, )][DBLP]
Fast Zone Discrimination. [Citation Graph (, )][DBLP]
A Peirce Style Calculus for ALC. [Citation Graph (, )][DBLP]
A PROLOG-based Approach to Representing and Querying Software Engineering Models. [Citation Graph (, )][DBLP]
Visual Languages: A Matter of Style. [Citation Graph (, )][DBLP]
Visualising a Logic of Dependability Arguments. [Citation Graph (, )][DBLP]
|