information about Sequent calculus field
Search everything
Home
Research Intelligence
Expert Finder
Scinapse Trends
Paper Search
Journal Search
Collections
Favorites
History
Submit Feedback
Sequent calculus
https://www.wikidata.org/wiki/Q1771121
4,862
Authors
2,261
Publications
Field Hierarchy
Parent
Current
Sequent calculus
2,261
papers
Child
Trends
Notes
History
View all history