Pushout

Results: 45



#Item
31Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach Mehrdad Sabetzadeh Steve Easterbrook Department of Computer Science, University of Toronto Toronto, ON M5S 3G4, Canada.

Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach Mehrdad Sabetzadeh Steve Easterbrook Department of Computer Science, University of Toronto Toronto, ON M5S 3G4, Canada.

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2003-07-28 15:48:41
32

PDF Document

Add to Reading List

Source URL: www.pps.univ-paris-diderot.fr

Language: English - Date: 2013-05-23 09:08:20
33Derived Algebraic Geometry IX: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions

Derived Algebraic Geometry IX: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2011-11-08 14:05:40
34NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES BRIAN CONRAD, MAX LIEBLICH, AND MARTIN OLSSON Abstract. We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separ

NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES BRIAN CONRAD, MAX LIEBLICH, AND MARTIN OLSSON Abstract. We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separ

Add to Reading List

Source URL: math.stanford.edu

Language: English - Date: 2010-06-23 22:43:39
35Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆

Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆

Add to Reading List

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Language: English - Date: 2006-08-11 13:42:10
36Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation systems relative to nested conditions A N N E G R E T H A B E L and K A R L - H E I N Z P E N N E M A N N†

Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation systems relative to nested conditions A N N E G R E T H A B E L and K A R L - H E I N Z P E N N E M A N N†

Add to Reading List

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Language: English - Date: 2008-06-16 05:05:39
37The Seifert-van Kampen Theorem for the fundamental groupoid of a space with a set of base points This note is an extract for the convenience of readers of a section of the book [BHS11], with some additional comments.

The Seifert-van Kampen Theorem for the fundamental groupoid of a space with a set of base points This note is an extract for the convenience of readers of a section of the book [BHS11], with some additional comments.

Add to Reading List

Source URL: pages.bangor.ac.uk

Language: English - Date: 2014-04-10 13:42:56
38Journal of Homotopy and Related Structures, vol. 1(1), 2006, pp.175–183 GROUPOIDS, THE PHRAGMEN-BROUWER PROPERTY, AND THE JORDAN CURVE THEOREM RONALD BROWN (communicated by Frederick Cohen)

Journal of Homotopy and Related Structures, vol. 1(1), 2006, pp.175–183 GROUPOIDS, THE PHRAGMEN-BROUWER PROPERTY, AND THE JORDAN CURVE THEOREM RONALD BROWN (communicated by Frederick Cohen)

Add to Reading List

Source URL: pages.bangor.ac.uk

Language: English - Date: 2007-12-16 10:48:42
39Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed]

Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed]

Add to Reading List

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Language: English - Date: 2008-06-01 20:46:15
40Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2

Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2

Add to Reading List

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Language: English - Date: 2006-06-21 08:43:28