Conceptio › Archive › Ora Oxford University Research Archive

Ora Oxford University Research Archivemetadata only

Automatic verification of finite variant property beyond convergent equational theories

Cheval, V et al.

Ora Oxford University Research Archive · Other

Open Source ↗

archives, research

This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Related documents

Habit not heredity: central banks and global order#248006
Risk of premature death from tobacco smoking, alcohol, and social inequalities in urban India#248007
Business model innovation for disruptive sustainability: a theorizing review on how interdependencies between business model components reshape the problem-solution nexus#248008
How far does regulation determine how for-profit welfare services operate?#248009
Rhyme words in English love lyric 1300–1579#248010

Record · ID 247985
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.