Rewriting techniques and applications

Materias

• Computer programming
• Rewriting systems (Computer science)
• Algorithms
• Congresses
• Electronic digital computers, programming
• Logic, symbolic and mathematical

Ediciones (1)

• Rewriting techniques and applications (1997)

  Springer · inglés

Más obras de Hubert Comon

Rewriting, Computation and Proof

CConstraints in Computational Logics : Theory and Application

Constraints in Computational Logics : Theory and Applications

CComputer Aided Verification

Computer Aided Verification