Series Electronic Notes in Theoretical Computer Science
A list of all pages that have property "Series" with value "Electronic Notes in Theoretical Computer Science"
- Publications:A Congruence Rule Format with Universal Quantification +
- Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference +
- Publications:Prototyping SOS meta-theory in Maude +