Search Results - journal of information technology theory and implications~ :: FRELIP Discovery

From coinductive proofs to exact real arithmetic: theory and applications

Published in Logical Methods in Computer Science (2011)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
On linear rewriting systems for Boolean logic and some applications to proof theory

Published in Logical Methods in Computer Science (2017)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in: