Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Decidability of logical theories"'
Autor:
Bruno Courcelle, Teodor Knapik
Publikováno v:
Theoretical Computer Science. 281:177-206
We denote first-order substitutions of finite and infinite terms by function symbols indexed by the sequences of first-order variables to which substitutions are made. We consider the evaluation mapping from infinite terms to infinite terms that eval
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8362ddb2075922fa04fff42c33b410e
https://doi.org/10.1016/s0304-3975(02)00012-9
https://doi.org/10.1016/s0304-3975(02)00012-9
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.