The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4518863 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4223144 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4217952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3894958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3835049 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4499152 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4518871 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385532 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3221381 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4520772 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5610986 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4231030 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Skeptic's approach to combining HOL and Maple / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exploring abstract algebra in constructive type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222859 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4223002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The foundation of a generic theorem prover / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4847001 / rank | |||
Normal rank |
Latest revision as of 21:53, 3 June 2024
scientific article; zbMATH DE number 1684876
Language | Label | Description | Also known as |
---|---|---|---|
English | The control layer in open mechanized reasoning systems: Annotations and tactics |
scientific article; zbMATH DE number 1684876 |
Statements
The control layer in open mechanized reasoning systems: Annotations and tactics (English)
0 references
2 January 2002
0 references
open mechanized reasoning systems
0 references