<--- Back to Details
First PageDocument Content
Logic / Constraint programming / Constraint satisfaction problem / Model theory / Abstraction / Philosophy / Constraint satisfaction / Satisfiability / Algebraic structure
Date: 2011-07-27 15:26:23
Logic
Constraint programming
Constraint satisfaction problem
Model theory
Abstraction
Philosophy
Constraint satisfaction
Satisfiability
Algebraic structure

CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

Add to Reading List

Source URL: www.fields.utoronto.ca

Download Document from Source Website

File Size: 125,98 KB

Share Document on Facebook

Similar Documents

Systematic judgment aggregators: An algebraic connection between social and logical structure Daniel Eckert∗ Frederik Herzberg† Version 5: 28 April 2009

Systematic judgment aggregators: An algebraic connection between social and logical structure Daniel Eckert∗ Frederik Herzberg† Version 5: 28 April 2009

DocID: 1uV1n - View Document

Optional homework #5 Devise a rigorous test for orbital invariance easily applicable to algebraic or diagrammatic equations defining an electronic or vibrational structure method (similar to the ones for size consistency

Optional homework #5 Devise a rigorous test for orbital invariance easily applicable to algebraic or diagrammatic equations defining an electronic or vibrational structure method (similar to the ones for size consistency

DocID: 1sGsF - View Document

On the Smoothness of Normalisers, the Subalgebra Structure of Modular Lie Algebras, and the Cohomology of Small Representations Sebastian Herpel and David I. Stewart

On the Smoothness of Normalisers, the Subalgebra Structure of Modular Lie Algebras, and the Cohomology of Small Representations Sebastian Herpel and David I. Stewart

DocID: 1rsxQ - View Document

Linear Algebraic Structure of Word Senses, with Applications to Polysemy arXiv:1601.03764v1 [cs.CL] 14 JanSanjeev Arora

Linear Algebraic Structure of Word Senses, with Applications to Polysemy arXiv:1601.03764v1 [cs.CL] 14 JanSanjeev Arora

DocID: 1rogM - View Document

Network Analysis and Modeling, CSCI 5352 Lecture 5 1  Prof. Aaron Clauset

Network Analysis and Modeling, CSCI 5352 Lecture 5 1 Prof. Aaron Clauset

DocID: 1rnq4 - View Document