Zobrazeno 1 - 10
of 72
pro vyhledávání: '"Guessarian, I."'
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of complete binary trees whose leaves are labeled by letters of an alphabet co
Externí odkaz:
http://arxiv.org/abs/2006.04540
Autor:
Guessarian, I.1 ig@liafa.jussieu.fr, Cégielski, P.2 cegielski@univ-paris12.fr
Publikováno v:
Journal of Mathematical Sciences. May2009, Vol. 158 Issue 5, p623-632. 10p. 5 Diagrams.
Inf-Datalog extends the usual least fixpoint semantics of Datalog with greatest fixpoint semantics: we defined inf-Datalog and characterized the expressive power of various fragments of inf-Datalog in [16]. In the present paper, we study the complexi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2127::05e7bee445a35dbb5a9716ba8b07b700
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3065012
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3065012
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Guessarian, I., Pin, J.-E.
Publikováno v:
IEEE Transactions on Knowledge & Data Engineering; 1995, Vol. 7 Issue 1, p137-149, 13p
Publikováno v:
Annals of Pure and Applied Logic; 2001, Vol. 113 Issue: 1-3 p59-80, 22p