Search everything
Home
Research Intelligence
Expert Finder
Scinapse Trends
Paper Search
Journal Search
Collections
Favorites
History
Submit Feedback
doi.org/10.4230/lipics.csl.2018.19
Original paper
Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)
Anupam Das
6
,
Damien Pous
10
View all 2 authors
HAL (Le Centre pour la Communication Scientifique Directe)
Published
: Sep 4, 2018
8
Citations
Sources
Cite
Basic Info
References
Citations
Paper Fields
Quantum mechanics
Sequent calculus
Proof theory
Pure mathematics
Discrete mathematics
Kleene algebra
Computer science
Physics
Mathematics
Mathematical proof
Structural proof theory
Geometry
Action (physics)
Sequent
Algebra over a field
Paper Details
Title
Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)
DOI
doi.org/10.4230/lipics.csl.2018.19
Published Date
Sep 4, 2018
Journal
HAL (Le Centre pour la Communication Scientifique Directe)
Notes
History
View all history