Hierarchies in Inclusion Logic with Lax Semantics (Q2937394): Difference between revisions
From MaRDI portal
Set profile property. |
EloiFerrer (talk | contribs) Merged Item from Q4691735 |
||||||||||||||
| (3 intermediate revisions by 3 users not shown) | |||||||||||||||
| description / en | description / en | ||||||||||||||
scientific article | scientific article; zbMATH DE number 6963788 | ||||||||||||||
| Property / zbMATH Open document ID | |||||||||||||||
| Property / zbMATH Open document ID: 1407.03040 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / DOI | |||||||||||||||
| Property / DOI: 10.1145/3204521 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / published in | |||||||||||||||
| Property / published in: ACM Transactions on Computational Logic / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / publication date | |||||||||||||||
24 October 2018
| |||||||||||||||
| Property / publication date: 24 October 2018 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / Mathematics Subject Classification ID | |||||||||||||||
| Property / Mathematics Subject Classification ID: 68Q19 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH DE Number | |||||||||||||||
| Property / zbMATH DE Number: 6963788 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / OpenAlex ID | |||||||||||||||
| Property / OpenAlex ID: W1896271104 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / OpenAlex ID | |||||||||||||||
| Property / OpenAlex ID: W2890423770 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / arXiv ID | |||||||||||||||
| Property / arXiv ID: 1401.3235 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
team semantics | |||||||||||||||
| Property / zbMATH Keywords: team semantics / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
dependence | |||||||||||||||
| Property / zbMATH Keywords: dependence / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
descriptive complexity | |||||||||||||||
| Property / zbMATH Keywords: descriptive complexity / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
hierarchy | |||||||||||||||
| Property / zbMATH Keywords: hierarchy / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
inclusion | |||||||||||||||
| Property / zbMATH Keywords: inclusion / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
independence | |||||||||||||||
| Property / zbMATH Keywords: independence / rank | |||||||||||||||
Normal rank | |||||||||||||||
Latest revision as of 10:08, 6 May 2024
scientific article; zbMATH DE number 6963788
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchies in Inclusion Logic with Lax Semantics |
scientific article; zbMATH DE number 6963788 |
Statements
Hierarchies in Inclusion Logic with Lax Semantics (English)
0 references
9 January 2015
0 references
24 October 2018
0 references
team semantics
0 references
dependence
0 references
descriptive complexity
0 references
hierarchy
0 references
inclusion
0 references
independence
0 references
