Q4742767 (Q4742767): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Lucid / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lucid, a nonprocedural language with iteration / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4138082 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4054648 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modalities and Quantification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithmic properties of structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3883458 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3680806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5584402 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-order dynamic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic basis for computer programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5604443 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: LAR: A logic of algorithmic reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Properties of Programs and the First-Order Predicate Calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Is “sometime” sometimes better than “always”? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tense logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some theorems about the sentential calculi of Lewis and Heyting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3925897 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modalities in the <i>Survey</i> system of strict implication / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5596237 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4188712 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:07, 13 June 2024
scientific article; zbMATH DE number 3797730
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 3797730 |
Statements
1982
0 references
termination of programs
0 references
modal formulas
0 references
propositional modal logic
0 references
invariance
0 references
eventuality
0 references
temporal operators
0 references
automatic theorem-proving
0 references