1![Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany](https://www.pdfsearch.io/img/0dc544920d9cc370c08027abd5f57072.jpg) | Add to Reading ListSource URL: www.dr-dau.netLanguage: English - Date: 2007-08-09 21:04:38
|
---|
2![Algebraic Methods in the Congested Clique∗ † Keren Censor-Hillel Technion Algebraic Methods in the Congested Clique∗ † Keren Censor-Hillel Technion](https://www.pdfsearch.io/img/64a6c8830f02abd129ede600eacc9a4c.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-05-29 10:12:11
|
---|
3![The Advent of Formal Diagrammatic Reasoning Systems Frithjof Dau SAP Research CEC Dresden Abstract. In knowledge representation and reasoning systems, diagrams The Advent of Formal Diagrammatic Reasoning Systems Frithjof Dau SAP Research CEC Dresden Abstract. In knowledge representation and reasoning systems, diagrams](https://www.pdfsearch.io/img/b7bbae4d799fe7b2e28d1c26bde9a769.jpg) | Add to Reading ListSource URL: www.dr-dau.netLanguage: English - Date: 2016-06-19 12:17:05
|
---|
4![Basic Elements of Logical Graphs Lucas Dixon CAM-CAD 2009 Abstract We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation Basic Elements of Logical Graphs Lucas Dixon CAM-CAD 2009 Abstract We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation](https://www.pdfsearch.io/img/dd4cc07fe1c3d692cca24492fb968ca7.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-11-11 17:57:37
|
---|
5![A Binary Factor Graph Model for Biclustering Matteo Denitto, Alessandro Farinelli, Giuditta Franco, and Manuele Bicego University of Verona, Department of Computer Science, Verona, Italy Abstract. Biclustering, which can A Binary Factor Graph Model for Biclustering Matteo Denitto, Alessandro Farinelli, Giuditta Franco, and Manuele Bicego University of Verona, Department of Computer Science, Verona, Italy Abstract. Biclustering, which can](https://www.pdfsearch.io/img/3a87a3f5b868f3cb100b4a9a08bbc499.jpg) | Add to Reading ListSource URL: profs.sci.univr.itLanguage: English - Date: 2015-06-16 09:42:08
|
---|
6![22 IP1 Structural and Logical Approaches to the Graph Isomorphism Problem The question of whether there is a polynomial time algorithm deciding whether two graphs are isomorphic has 22 IP1 Structural and Logical Approaches to the Graph Isomorphism Problem The question of whether there is a polynomial time algorithm deciding whether two graphs are isomorphic has](https://www.pdfsearch.io/img/3fff65b0460f9a3bfd2173c8c8e98ebe.jpg) | Add to Reading ListSource URL: www.siam.org- Date: 2012-01-03 17:09:43
|
---|
7![Logical Characterization of Weighted Pebble Walking Automata ∗ Benedikt Bollig, Paul Gastin Benjamin Monmege Logical Characterization of Weighted Pebble Walking Automata ∗ Benedikt Bollig, Paul Gastin Benjamin Monmege](https://www.pdfsearch.io/img/393188bc1b669c5059a93ce05da30e3d.jpg) | Add to Reading ListSource URL: www.ulb.ac.beLanguage: English - Date: 2014-07-15 12:14:29
|
---|
8![Logical Methods in Computer Science Vol. 9(4:2)2013, pp. 1–23 www.lmcs-online.org Submitted Published Logical Methods in Computer Science Vol. 9(4:2)2013, pp. 1–23 www.lmcs-online.org Submitted Published](https://www.pdfsearch.io/img/151af7e5a5373ab47c8c6e50c4a19a56.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2013-10-07 21:44:15
|
---|
9![Tractability Results for the Consecutive-Ones Property with Multiplicity Cedric Chauve1 , J´an Maˇ nuch1,2 , 2 Murray Patterson and Roland Wittler1,3 Tractability Results for the Consecutive-Ones Property with Multiplicity Cedric Chauve1 , J´an Maˇ nuch1,2 , 2 Murray Patterson and Roland Wittler1,3](https://www.pdfsearch.io/img/14737117642e86142030b78608e04eb0.jpg) | Add to Reading ListSource URL: www.cs.ucr.eduLanguage: English - Date: 2011-09-22 21:47:21
|
---|
10![Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data Qiang Zeng Xiaorui Jiang Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data Qiang Zeng Xiaorui Jiang](https://www.pdfsearch.io/img/d1f301175485673bb3bad3f869fe4b29.jpg) | Add to Reading ListSource URL: vldb.orgLanguage: English - Date: 2012-04-26 08:00:03
|
---|