Login
中文
Logical Framework
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Higher-order logic
Logic
Knowledge representation and reasoning
Proof theory
Computability
Satisfiability
Proof assistant
Automated theorem proving
Functional programming
Theory of computation
First-order logic
Information system
Programming language
Model of computation
Artificial intelligence
Computer Science
Multi-agent system
Dependent type
Calculus
Modal logic
Type system
Logic programming
Lambda calculus
Type theory
Temporal logic
Parent Topic:
Algorithm
,
Discrete mathematics
,
Computer Science
,
Programming language
,
Lambda calculus
,
Functional programming
Top Authors:
Frank Pfenning
Brigitte Pientka
Carsten Schurmann
Marino Miculan
Furio Honsell
David Basin
Amy Felty
Alberto Momigliano
Karl Crary
Zhaohui Luo
Robert Harper
Aaron Stump
Iliano Cervesato
Sean Matthews
Luigi Liquori
Aleksey Nogin
Ester Zumpano
Guido Boella
Andreas Herzig
Thierry Coquand
Michael Gruninger
Jose Meseguer
Kevin Watkins
Andreas Abel
Dale Miller
Jason Reed
Mark S Fox
Sergio Greco
Jason Hickey
Enrico Franconi
Stefan Berghofer
Jeff Polakow
Robin Adams
Elisa Bertino
Prasanta Kumar Dey
Jose Meseguer
Seetharaman Hariharan
Dov M Gabbay
Robert Harper
Sergio Tessaris
Lluis Godo
Dominique Longin
Rineke Verbrugge
Barbara Duninkeplicz
Emiliano Lorini
Narciso Martioliet
Carles Sierra
Hristo Koshutanski
Fabio Massacci
Gopalan Nadathur
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation