Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Robinson, Edmund"'
In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms using inductive clauses derived from proof-theoretic rules. A key aim
Externí odkaz:
http://arxiv.org/abs/2302.09031
We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to an algebraic structure derived from a transition system, and the gene
Externí odkaz:
http://arxiv.org/abs/2003.13542
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:
Robinson, Edmund, Rosolini, Giuseppe
Publikováno v:
The Journal of Symbolic Logic, 1990 Jun 01. 55(2), 678-699.
Externí odkaz:
https://www.jstor.org/stable/2274658
Autor:
Trapp, Kimberley N.1, Robinson, Edmund2
Publikováno v:
McGill Law Journal. Mar-Jun2018, Vol. 63 Issue 3/4, p677-700. 24p.
Publikováno v:
In Theoretical Computer Science 2006 364(2):146-165
Publikováno v:
UCL Journal of Law and Jurisprudence; Vol 7, No 2 (2018)
Preface to Volume 7(2) of the UCL Journal of Law and Jurisprudence For full text, please click here.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=uclopenacces::be53d024e4648bacdac6c24bd1ea5de9
http://ojs.lib.ucl.ac.uk/index.php/LaJ/article/view/1932
http://ojs.lib.ucl.ac.uk/index.php/LaJ/article/view/1932