Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service
"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS
Ergebnis verändern
- Publikationstyp
Publikationstyp- Thema
- erschienen in
-
- relations and kleene algebra in computer science : 10th international conference on relational methods in computer science, and 5th international conference on applications of kleene algebra, relmics/aka 2008, frauenworth, germany, april 7-11, 2008. proceedings (28)
- relational and kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of kleene algebra, bad malente, germany, may 12-17, 2003, revised selected papers (23)
- Verlag
- Geographic terms
-
1
Schlagworte: Logic in Computer Science; Category Theory; 03B35, 68Q42, 18N30
-
2
Schlagworte: Formal Languages and Automata Theory; Logic in Computer Science; 06F, 16Y60, 18A05, 18N30, 68Q60, 68Q70
-
3
von Cranch, James ; Struth, Georg
Schlagworte: Mathematics - Category Theory; Computer Science - Logic in Computer Science; 18D10, 68Q85, 06A12
-
4
Schlagworte: Formal Languages and Automata Theory; Category Theory; 18B20, 68Q45, 68Q85; F.4.3
-
5
von Munive, Jonathan Julián Huerta y ; Foster, Simon ; Gleirscher, Mario ; et al.
Schlagworte: Computer Science - Logic in Computer Science; Computer Science - Mathematical Software
-
6
Schlagworte: Computer Science - Logic in Computer Science; Mathematics - Category Theory; 18N30, 68V15, 03B35, 68Q42
-
7
von Struth, Georg ; Ziemiański, Krzysztof
In Annals of Pure and Applied Logic February 2026 177(2)
-
8
von Furusawa, Hitoshi ; Guttmann, Walter ; Struth, Georg
In Journal of Logical and Algebraic Methods in Programming January 2026 148
-
9
von Struth, Georg
Theories of Programming. :317-346
-
10
von Calk, Cameron ; Malbos, Philippe ; Pous, Damien ; et al.
Applied Categorical Structures 33(25), 2025
Schlagworte: Logic in Computer Science; 18A05, 18F75, 06F07, 18N30, 68Q42, 68V15
-
11
Schlagworte: Computer Science - Logic in Computer Science
-
12
Schlagworte: Computer Science - Logic in Computer Science
-
13
Schlagworte: Computer Science - Logic in Computer Science
-
14
von Fahrenberg, Uli ; Johansen, Christian ; Struth, Georg ; et al.
Logical Methods in Computer Science, Volume 20, Issue 4 (December 10, 2024) lmcs:11134
Schlagworte: Computer Science - Formal Languages and Automata Theory; Mathematics - Algebraic Topology
-
15
von Fahrenberg, Uli ; Johansen, Christian ; Struth, Georg ; et al.
Schlagworte: Computer Science - Formal Languages and Automata Theory
-
16
von Foster, Simon ; Munive, Jonathan Julián Huerta y ; Gleirscher, Mario ; et al.
Schlagworte: Computer Science - Logic in Computer Science
-
17
von Fahrenberg, Uli ; Johnsen, Christian ; Struth, Georg ; et al.
Schlagworte: Computer Science - Logic in Computer Science; Mathematics - Rings and Algebras; 03B45 (Primary) 06F07 20M75 (Secondary); F.3.2; F.4.1
-
18
von Fahrenberg, Uli ; Johansen, Christian ; Struth, Georg ; et al.
Schlagworte: Computer Science - Formal Languages and Automata Theory; 68Q70
-
19
von Malbos, Philippe ; Massacrier, Tanguy ; Struth, Georg
Journal of Automated Reasoning. 68(4)
-
20
von Fahrenberg, Uli ; Johansen, Christian ; Struth, Georg ; et al.
Schlagworte: Computer Science - Logic in Computer Science; 03B45, 06F0, 16Y60; F.3.2
-
21
von Huerta y Munive, Jonathan Julián ; Foster, Simon ; Gleirscher, Mario ; et al.
Journal of Automated Reasoning. 68(4)
-
22
von Furusawa, Hitoshi ; Guttmann, Walter ; Struth, Georg
In Journal of Logical and Algebraic Methods in Programming June 2024 139
-
23
von Calk, Cameron ; Goubault, Eric ; Malbos, Philippe ; et al.
Logical Methods in Computer Science, Volume 18, Issue 4 (November 28, 2022) lmcs:6743
Schlagworte: Computer Science - Logic in Computer Science; Mathematics - Category Theory
-
24
von Cranch, James ; Doherty, Simon ; Struth, Georg
Schlagworte: Computer Science - Logic in Computer Science; 03G10, 06B35, 08A55, 68Q85
-
25
von Cranch, James ; Doherty, Simon ; Struth, Georg
Schlagworte: Computer Science - Logic in Computer Science; 18A05, 18A15, 08A02, 08A55
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag