Rewriting, Computation and Proof

Materias

• Logic design
• Computer science
• Software engineering
• Rewriting systems (Computer science)
• Congresses
• Computational complexity

Ediciones (1)

• Rewriting, computation and proof (2007)

  Springer · inglés · ISBN 9783540731467

Más obras de Hubert Comon

Rewriting techniques and applications

CConstraints in Computational Logics : Theory and Application

Constraints in Computational Logics : Theory and Applications

CComputer Aided Verification

Computer Aided Verification