Uneingeschränkter Zugang

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
Suche nach diesem Autor auf
Sciendo|Google Scholar
Crăciunean, Daniel C.
  
19. Dez. 2023
A Categorical Metamodel for Reactive Kripke Frames's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
COVER HERUNTERLADEN
Online veröffentlicht: 19. Dez. 2023
Seitenbereich: 3 - 13
DOI: https://doi.org/10.2478/ijasitels-2023-0001
Schlüsselwörter
© 2023 Daniel C. Crăciunean, published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
Crăciunean, Daniel C.
Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of SibiuRomania
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
2 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, Informatik, andere, Wirtschaftswissenschaften, Mathematik und Statistik für Ökonomen, Mathematik, Technik, Elektrotechnik, Grundlagen der Elektrotechnik, Mathematik, Mathematik, Allgemeines
Zeitschrift RSS Feed