Metalogic

Results: 681



#Item
1Visual Sedimentation Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete To cite this version: Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete. Visual Sedimentation. IEEE Transactions on Visualization and Computer Grap

Visual Sedimentation Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete To cite this version: Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete. Visual Sedimentation. IEEE Transactions on Visualization and Computer Grap

Add to Reading List

Source URL: romain.vuillemot.net

Language: English - Date: 2016-07-06 10:07:48
2Formalizing Symbolic Decision Procedures  | {z in

Formalizing Symbolic Decision Procedures | {z in

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2015-11-16 04:08:00
3From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1  Information Science and Technology Institute, University of Urbino

From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino

Add to Reading List

Source URL: matita.cs.unibo.it

Language: English - Date: 2007-05-28 05:00:45
4On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ e zilber/

On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ e zilber/

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2009-05-25 07:45:48
5Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain.  Florent Madelaine

Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine

Add to Reading List

Source URL: www.bedewell.com

Language: English - Date: 2009-11-10 10:56:14
6Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi

Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi

Add to Reading List

Source URL: ifomis.uni-saarland.de

Language: English - Date: 2014-05-09 08:16:43
7Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop

Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop

Add to Reading List

Source URL: wiki.event-b.org

Language: English - Date: 2016-05-20 11:41:20
8Theory of SVDQuartets Jed Chou Motivation Background Main

Theory of SVDQuartets Jed Chou Motivation Background Main

Add to Reading List

Source URL: tandy.cs.illinois.edu

Language: English - Date: 2015-04-13 21:47:48
9Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu

Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2010-10-16 23:59:16
10Black Hole Search with Finite Automata Scattered in a Synchronous Torus J´er´emie Chalopin1 , Shantanu Das1 , Arnaud Labourel1 , and Euripides Markou2 1  2

Black Hole Search with Finite Automata Scattered in a Synchronous Torus J´er´emie Chalopin1 , Shantanu Das1 , Arnaud Labourel1 , and Euripides Markou2 1 2

Add to Reading List

Source URL: emarkou.users.uth.gr

Language: English - Date: 2016-05-24 11:28:43