An ACL2 Tutorial (Q3543644): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/978-3-540-71067-7_4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1595255563 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proving Theorems about LISP Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3894958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040283 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4016540 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ACL2s: “The ACL2 Sedan” / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonstandard analysis in ACL2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Efficient execution in an automated reasoning environment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Meta Reasoning in ACL2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structured theory development for a mechanized logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integrating external deduction tools with ACL2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partial functions in ACL2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997095 / rank | |||
Normal rank |
Latest revision as of 22:02, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An ACL2 Tutorial |
scientific article |
Statements
An ACL2 Tutorial (English)
0 references
4 December 2008
0 references