Morphisms - PDFSEARCH.IO - Document Search Engine

Morphisms
Results: 218

#	Item
81	Learning Attack Strategies from Intrusion Alerts ∗ Peng Ning Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:26:02 NP-complete problems Morphisms Alert correlation Graph isomorphism Subgraph isomorphism problem Matching Tree Mathematics Theoretical computer science Graph theory
82	PDF Document Add to Reading List Source URL: www.informatik.hu-berlin.de Language: English Morphisms Computational complexity theory Parameterized complexity Graph isomorphism problem Graph isomorphism Minor Graph canonization Feedback vertex set Tree decomposition Graph theory Theoretical computer science Mathematics
83	The relationship between difference and ratio and a proposal: Equivalence of temperature and time, and the first spontaneous symmetry breaking Add to Reading List Source URL: www.jsystchem.com Language: English Graph rewriting Morphisms Subgraph isomorphism problem Graph homomorphism Matching Molecular graph Graph Chemical reaction Chemistry Graph theory Mathematics Theoretical computer science
84	C HICAGO J OURNAL OF T HEORETICAL C OMPUTER S CIENCE 2013, Article 09, pages 1–6 http://cjtcs.cs.uchicago.edu/ Complexity of the homomorphism extension problem in the random case Alexandr Kazda∗ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-07-24 06:23:43 Applied mathematics Mathematical optimization Graph theory Structure Homomorphism NP-complete Graph homomorphism FO Finitary relation Mathematics Complexity classes Morphisms
85	Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 11:05:12 Deduction Logic in computer science Propositional calculus Entailment Metalogic Sequent calculus Intuitionistic logic Symbol Natural deduction Logic Mathematical logic Proof theory
86	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
87	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
88	ABS Education Services Teacher Solutions CaSMa01 Add to Reading List Source URL: abs.gov.au Language: English - Date: 2014-08-14 21:33:17 Graph Plot Graph coloring Morphisms Graph theory Mathematics Pie chart
89	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Containment in Rule-Based Models C. D. Thompson-Walsh, J. Hayman1 , G. Wi Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-12-03 12:24:53 Morphisms Category theory Category Natural transformation Dual Homomorphism Structure Sheaf Zero morphism Abstract algebra Mathematics Algebra
90	Joseph MuscatObjects and Morphisms 1 Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2013-12-17 09:47:28 Morphisms Functors Epimorphism Category Natural transformation Subcategory Equivalence of categories Zero morphism Coproduct Category theory Abstract algebra Mathematics