Sortiert nach
Journal of Formalized Reasoning, 2019-01, Vol.12 (1), p.11-51
2019
Link zum Volltext
The Information society, 2018-05, Vol.34 (3), p.141-152
2018
Link zum Volltext
Automata, Languages and Programming, 2001, p.963-978
2001
Link zum Volltext
Lecture notes in computer science, 1999, p.546-561
1999
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Applied Sciences
- Computer Science
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logical Frameworks
- Theoretical Computing
- College Students
- Communication
- Computer Aided Formal Reasoning
- Computer Science, Software Engineering
- Conceptualization
- Content Analysis
- Cultural Object
- Dynamicity
- Graduate Students
- Hgher-Order Abstract Syntax
- Higher-Order Abstract Syntax
Kollektion
Zeitschrift / Serie