Constraints in Computational Logics

Author

Jean-Pierre Jouannaud

Publisher

Springer

Subject

Computer Science

Year

1994

Vol/Edition

845

ISBN

9783540486992