Filtry
Congruence distributivity implies bounded width
We show that a constraint language with compatible Jónsson terms (or, equivalently, associated with an algebra generating a congruence distributive variety) defines a constraint satisfaction problem solvable by the local consistency...
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Jónsson Lemma for regular and nilpotent shifts of pseudovarieties
BA - Obecná matematika
- 1997 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Icelandic artists in the Network of the European Avant-Garde - the Cases of Jón Stefánsson and Finnur Jónsson
and Finnur Jónsson show, the direct links to schools, movements and groups abroad...
Arts, Art history
- 2019 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Varieties satisfying the triangular scheme need not be congruence distributive
A diagramatic scheme characterizing congruence distributivity of congruence permutable algebras was introduced by the first author in 2001. It is known under the name Triangular Scheme. It is known that every congruence distributive algebra satisfies...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Deciding some Maltsev conditions in finite idempotent algebras
, such as congruence permutability and having a sequence of n Jónsson terms, for some given n. We...
Pure mathematics
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The Dating of Bragi’s Poetry
discusses the indications presented by Finnur Jónsson and Hans Kuhn in particular...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jost
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
An Intensional Solution to the Bike Puzzle of Intentional Identity
In a 2005 paper Ólafur Páll Jónsson presents a puzzle that turns on intentional identity and definite descriptions. He considers eight solutions and rejects them all, thus leaving the puzzle unsolved. In this paper I put forward a solution. ...
AA - Filosofie a náboženství
- 2011 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
An Abstract Approach to Consequence Relations
We generalise the Blok–Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and Jonsson admit, in place of she...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The Semantic Isomorphism Theorem in Abstract Algebraic Logic
and Jónsson, and the further generalizations by Galatos, Tsinakis, Gil-Férez and Russo...
BA - Obecná matematika
- 2016 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Formation Of Ukrainian Terminology Of Law (Code Of Criminal Procedure Of Ukraine)
The article deals with formation of Ukrainian terminology of law, especially the terminology of criminal law. According to syntactic structure terms are divided into: a) simple terms, b) compound terms. Most of simple t...
AI - Jazykověda
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 81 667