Logical Frameworks (Computer Science)

Ronald de Haan

Vienna University of Technology

Graduate Student

Faculty of Informatics

Algorithms, Artificial Intelligence, Automata Theory (Formal Languages), and Automated Deduction

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Feryal Fulya Horozal

Jacobs University Bremen

Graduate Student

School of Engineering and Science

Computer Science, Formal Methods (Formal Verification), Formal methods, and Logical Frameworks (Computer Science)

Lucian Bentea

University of Oslo

Department Member

Department of Informatics

AI Planning (Artificial Intelligence), Abstract Interpretation, Algebraic Combinatorics, and Applications in communication netwroks

Enrique Claros

University of Phoenix

Alumnus

Computer Science Department

Computing Frameworks, Parallel Algorithms, Swarm algorithm framework, and Logical Frameworks (Computer Science)
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012