Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Wehr, D."'
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.
Publikováno v:
Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022 : proceedings
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation ISBN: 9783031152979
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation ISBN: 9783031152979
Cyclic proof systems permit derivations that are finite graphs in contrast to conventional derivation trees. The soundness of such proofs is ensured by a condition on the paths through the derivation graph, known as the global trace condition. To giv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1742e40630cccc396470bc5b6ee9c6f7
https://dare.uva.nl/personal/pure/en/publications/abstract-cyclic-proofs(7f72f798-014e-47a9-a438-393978d73b6b).html
https://dare.uva.nl/personal/pure/en/publications/abstract-cyclic-proofs(7f72f798-014e-47a9-a438-393978d73b6b).html
Work Integrated Learning (WIL) is a key component of the UTS Strategy and strengthens the idea of the civic university evidenced in UTS 2027 with strategic external partnerships, excellence in Indigenous higher education and commitment to social just
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______363::97e22b959d5d9b9e88de4591031a052f
https://hdl.handle.net/10453/157195
https://hdl.handle.net/10453/157195
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:
von Geyr, H., Kroll, N., Costes, M., Sides, J., Renzoni, P., Amato, Kokkalis, A., Serr, C., Rocchetto, A., Larrey, E., Filippone, A, Sorensen, J.N., Wehr, D., Fischer, A.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1640::e21cdb72d49df27a051e865af1691dc7
https://elib.dlr.de/13118/
https://elib.dlr.de/13118/
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.