Published 2005 | Version v1

Publication Metadata-only

Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation

Contributors

Others:

Additional details

URL: http://hdl.handle.net/11567/218586
URN: urn:oai:iris.unige.it:11567/218586

Origin repository: UNIGE

7

Views

0

Downloads

Show more details

	All versions	This version
Views	7	7
Downloads	0	0
Data volume	0 Bytes	0 Bytes

More info on how stats are collected....

Technical metadata

Created: March 25, 2023
Modified: April 16, 2025