Otwarty dostęp

A Categorical Metamodel for Reactive Kripke Frames

Daniel C. Crăciunean

Daniel C. Crăciunean

Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of SibiuRomania
Wyszukaj tego autora
Sciendo|Google Scholar
Crăciunean, Daniel C.
  
19 gru 2023
A Categorical Metamodel for Reactive Kripke Frames's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Pobierz okładkę
Data publikacji: 19 gru 2023
Zakres stron: 3 - 13
DOI: https://doi.org/10.2478/ijasitels-2023-0001
Słowa kluczowe
© 2023 Daniel C. Crăciunean, published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
Język:
Angielski
Częstotliwość wydawania:
2 razy w roku
Dziedziny czasopisma:
Informatyka, Informatyka, inne, Biznes i ekonomia, Matematyka i statystyka dla ekonomistów, Matematyka, Inżynieria, Elektrotechnika, Podstawy elektrotechniki, Matematyka, Matematyka ogólna
Kanał RSS czasopisma