Login
中文
Equational Logic
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Artificial intelligence
Theory of computation
Process calculus
Functional programming
Universal algebra
First-order logic
Operational semantics
Automated theorem proving
Rotation formalisms in three dimensions
Knowledge representation and reasoning
Model of computation
Concurrency
Rewriting
Logic programming
Discrete mathematics
Logic gate
Programming language
Abstract data type
Computability
Computer Science
Logic
Proof theory
Haplogroup N
Mathematical model
Algebra
Parent Topic:
Rewriting
,
Computer Science
,
Programming language
,
Lambda calculus
Top Authors:
Luca Aceto
Anna Ingolfsdottir
Joseph Goguen
Moreno Falaschi
Zoltan Esik
Maria Alpuente
Wan Fokkink
Jose Meseguer
Michael Thielscher
Stephen L Bloom
Grigore Rosu
Claude Kirchner
German Vidal
George Voutsadakis
Ranald Clouston
Jose Meseguer
Steffen Holldobler
Narciso Martioliet
Manuel Clavel
Carlos Caleiro
Marcelo Fiore
Don Pigozzi
Steffen Holldobler
William Mccune
Hendrik Hilberdink
Maria Jose Ramis
Jan Heering
Luca Aceto
J W Klop
T B Dinesh
Makoto Hamana
Vilem Vychodil
Markoliver Stehr
Miguel Palomino
Nachum Dershowitz
W Marco Schorlemmer
Michael Hanus
Razvan Diaconescu
Lutz Hamel
David Gries
Leo Bachmair
Chungkil Hur
Răzvan Diaconescu
J V Tucker
Robert Muller
Zena M Ariola
J I Zucker
Joao Araujo
Michael J Odonnell
Antonino Salibra
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation