Sortiert nach
Lecture notes in computer science, 2004, p.324-337
2004
Link zum Volltext
Lecture notes in computer science, 2004, p.242-258
2004
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Applied Sciences
- Computer Science
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logical, Boolean And Switching Functions
- Science & Technology
- Technology
- Theoretical Computing
- Categorical Geometry Of Interaction
- Graph Model
- Group Type
- Natural Deduction
- Process Algebra
- Proof Assistant
- Traced Monoidal Category
- Type Inference
- Weak Linear Category
Kollektion