Výsledky vyhledávání
- 1.0570699 - ÚSP 2023 RIV CZ cze M - Část monografie knihy
Kober, Jan
Sjednocování v oblasti civilního práva hmotného a procesního.
[Unification in the field of substantive and procedural civil law (1918–1925)
.]
Počátky Československé republiky. Vol. 2. Praha: Academia, 2022 - (Kober, J.; Holubec, S.), s. 401-419. ISBN 978-80-200-3331-4
Grant ostatní: AV ČR(CZ) StrategieAV21/11
Program: StrategieAV
Institucionální podpora: RVO:68378122
Klíčová slova: unification of law * civil law * legal history * Czechoslovakia * Central Europe
Obor OECD: Law
Trvalý link: https://hdl.handle.net/11104/0342057 - 2.0570698 - ÚSP 2023 RIV CZ cze M - Část monografie knihy
Halász, Ivan
Unifikácia verejného práva a jej kontexty (1918-1925).
[The unification of public law and its contexts (1918–1925).]
Počátky Československé republiky. Vol. 2. Praha: Academia, 2022 - (Kober, J.; Holubec, S.), s. 372-396. ISBN 978-80-200-3331-4
Grant ostatní: AV ČR(CZ) StrategieAV21/11
Program: StrategieAV
Institucionální podpora: RVO:68378122
Klíčová slova: Unification of law, Public law, Legal history, Czechoslovakia, Central Europe * public law * legal history * Czechoslovakia * Central Europe
Obor OECD: Law
Trvalý link: https://hdl.handle.net/11104/0342023 - 3.0570697 - ÚSP 2023 RIV CZ cze M - Část monografie knihy
Kober, Jan - Halász, Ivan
Sjednocování práva (unifikace) jako podstatný problém nového státu.
[Unification of law (unification) as an essential problem of the new state.]
Počátky Československé republiky. Vol. 2. Praha: Academia, 2022 - (Kober, J.; Holubec, S.), s. 365-369. ISBN 978-80-200-3331-4
Grant ostatní: AV ČR(CZ) StrategieAV21/11
Program: StrategieAV
Institucionální podpora: RVO:68378122
Klíčová slova: unification of law * legal history * Czechoslovakia * Central Europe
Obor OECD: Law
Trvalý link: https://hdl.handle.net/11104/0342022 - 4.0561005 - ÚI 2023 RIV AR eng C - Konferenční příspěvek (zahraniční konf.)
Cerna, David M.
When First-order Unification Calls itself.
Informal Proceedings of the 35th International Workshop on Unification (UNIF 2021). Buenos Aires, 2022 - (Baader, F.; Baumgartner, A.), s. 1-6
[UNIF 2021: International Workshop on Unification /35./. Buenos Aires / Virtual (AR), 18.07.2022-18.07.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Unification theory * Induction * Termination
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.uoh.cl/unif-2021/assets/proceedings-UNIF2021.pdf
Trvalý link: https://hdl.handle.net/11104/0333757Název souboru Staženo Velikost Komentář Verze Přístup 0561005-aw.pdf 2 431.5 KB volně online Vydavatelský postprint vyžádat - 5.0555404 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Cerna, David M.
A Special Case of Schematic Syntactic Unification.
2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Piscataway: IEEE, 2021 - (Schneider, C.; Marin, M.; Negru, V.; Zaharie, D.), s. 75-82. ISBN 978-1-6654-0650-5.
[SYNASC 2021: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing /23./. Timisoara / Virtual (RO), 07.12.2021-10.12.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: Unification * recursion * schema * induction
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1109/SYNASC54541.2021.00024
Trvalý link: http://hdl.handle.net/11104/0329925 - 6.0546010 - SOÚ 2022 CZ cze J - Článek v odborném periodiku
Beláňová, Andrea
Misie začala mučednictvím. Hnutí sjednocení (munisté) na Slovensku.
[The Mission has started with martyrdom. Unification Movement (Moonies) in Slovakia.]
Dingir. Časopis o současné náboženské scéně. Roč. 24, č. 3 (2021), s. 97-98. ISSN 1212-1371
Institucionální podpora: RVO:68378025
Klíčová slova: Unification Movement * Moonies * Slovakia * mission * martryrdom
Obor OECD: Religious studies
Způsob publikování: Omezený přístup
Trvalý link: http://hdl.handle.net/11104/0322602Název souboru Staženo Velikost Komentář Verze Přístup J_Belanova_Misie začala mučednictvím.pdf 3 509.5 KB přístupný na vyžádání Vydavatelský postprint vyžádat - 7.0534054 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Cerna, David M.
Anti-unification and the theory of semirings.
Theoretical Computer Science. Roč. 848, December 2020 (2020), s. 133-139. ISSN 0304-3975. E-ISSN 1879-2294
Institucionální podpora: RVO:67985807
Klíčová slova: Anti-unification * Semirings * Nullary
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.827, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.tcs.2020.10.020
Trvalý link: http://hdl.handle.net/11104/0312264 - 8.0533995 - ÚI 2021 US eng J - Článek v odborném periodiku
Cerna, David M. - Kutsia, T.
Idempotent Anti-unification.
ACM Transactions on Computational Logic. Roč. 21, č. 2 (2020), č. článku 10. ISSN 1529-3785. E-ISSN 1557-945X
Klíčová slova: unification * Anti-unification * generalization * idempotence * regular tree grammar
Impakt faktor: 0.625, rok: 2020
Trvalý link: http://hdl.handle.net/11104/0312217 - 9.0524632 - MÚ 2021 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Rules with parameters in modal logic II.
Annals of Pure and Applied Logic. Roč. 171, č. 10 (2020), č. článku 102829. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: admissible rule * computational complexity * equational unification * modal logic
Obor OECD: Pure mathematics
Impakt faktor: 0.678, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102829
Trvalý link: http://hdl.handle.net/11104/0308973Název souboru Staženo Velikost Komentář Verze Přístup Jerabek2.pdf 2 1.1 MB Vydavatelský postprint vyžádat - 10.0496925 - FLÚ 2019 RIV PL eng J - Článek v odborném periodiku
Hauser, Michael
The Politics of Unification in a Fragmented World: Metapopulism and the Precariat.
Open Cultural Studies. Roč. 2, č. 1 (2018), s. 307-318. ISSN 2451-3474
Grant CEP: GA ČR(CZ) GA17-23955S
Institucionální podpora: RVO:67985955
Klíčová slova: fragmentation * unification * metapopulism * precariat * sublimation * Lukacs
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.1515/culture-2018-0028
Trvalý link: http://hdl.handle.net/11104/0290117