Adjunct Elimination in Context Logic for Trees (Q3498442): 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 / OpenAlex ID | |||
Property / OpenAlex ID: W1503633287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BI as an assertion language for mutable data structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Anytime, anywhere / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Context logic and tree update / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Logic of Bunched Implications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Context logic as modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-order properties of trees, star-free expressions, and aperiodicity / rank | |||
Normal rank |
Latest revision as of 10:04, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Adjunct Elimination in Context Logic for Trees |
scientific article |
Statements
Adjunct Elimination in Context Logic for Trees (English)
0 references
15 May 2008
0 references