Sortiert nach
Programming Languages and Systems, p.229-250
Link zum Volltext
Mathematical Foundations of Computer Science 2012, p.503-515
Link zum Volltext
Algebra and Coalgebra in Computer Science, p.300-316
Link zum Volltext
Automata, Languages and Programming, 2001, p.963-978
2001
Link zum Volltext
Lecture notes in computer science, 2004, p.324-337
2004
Link zum Volltext
Proceedings of the Eighth ACM SIGPLAN international workshop on logical frameworks & meta-languages: theory & practice, 2013, p.37-42
2013
Link zum Volltext
Lecture notes in computer science, 2004, p.242-258
2004
Link zum Volltext
Recent Trends in Algebraic Development Techniques, p.119-134
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, p.143-157
Link zum Volltext
Lecture notes in computer science, 1999, p.546-561
1999
Link zum Volltext
Proceedings of the Workshop on logical frameworks and meta-languages: theory and practice, 2017, p.1-9
2017
Link zum Volltext
Lecture notes in computer science, 2003, p.407-421
2003
Link zum Volltext
Theoretical computer science, 2003, Vol.298 (3)
2003
Link zum Volltext
Lecture notes in computer science, 2001
2001
Link zum Volltext
Mathematical Foundations of Computer Science 1991, 2005, p.161-169
2005
Link zum Volltext
Proceedings of the seventh international workshop on logical frameworks and meta-languages, theory and practice, 2012, p.13-22
2012
Link zum Volltext
Lecture notes in computer science, 1999, p.114-128
1999
Link zum Volltext
International Conference on Functional Programming: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding; 30-30 Sept. 2005, 2005, p.41-49
2005
Link zum Volltext
Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications : Vancouver, British Columbia, Canada; 18-22 Oct. 1998, 1998, p.166-178
1998
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Applied Sciences
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Logical Frameworks
- Mathematics
- Physical Sciences
- Computation And Language
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Logic In Computer Science
- Logical, Boolean And Switching Functions
- Mathematics, Applied
- Programming Theory
- Software
- Artificial Intelligence
Kollektion