Item:Q4608726: Difference between revisions

← Older edit

@@ redirect / redirect @@
+Q3584953
@@ label / en / label / en @@
-Completeness of Flat Coalgebraic Fixpoint Logics
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6852240
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Completeness of Flat Coalgebraic Fixpoint Logics (English)
-Normal rank
@@ Property / zbMATH Open document ID @@
-.03049
@@ Property / zbMATH Open document ID: 1407.03049 / rank @@
-Normal rank
@@ Property / DOI @@
-.1145/3157055
@@ Property / DOI: 10.1145/3157055 / rank @@
-Normal rank
@@ Property / author @@
-Lutz Schröder
@@ Property / author: Lutz Schröder / rank @@
-Normal rank
@@ Property / author @@
-Yde Venema
@@ Property / author: Yde Venema / rank @@
-Normal rank
@@ Property / published in @@
-ACM Transactions on Computational Logic
@@ Property / published in: ACM Transactions on Computational Logic / rank @@
-Normal rank
@@ Property / publication date @@
-March 2018Timestamp +2018-03-22T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2018-03-22T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 22 March 2018 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1004.2717
@@ Property / full work available at URL: https://arxiv.org/abs/1004.2717 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6852240
@@ Property / zbMATH DE Number: 6852240 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-completeness
@@ Property / zbMATH Keywords: completeness / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-Kozen/Park axioms
@@ Property / zbMATH Keywords: Kozen/Park axioms / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-algebraic semantics
@@ Property / zbMATH Keywords: algebraic semantics / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-alternating-time temporal logic
@@ Property / zbMATH Keywords: alternating-time temporal logic / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-branching-time temporal logics
@@ Property / zbMATH Keywords: branching-time temporal logics / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-coalgebraic logic
@@ Property / zbMATH Keywords: coalgebraic logic / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-graded \(\mu\)-calculus
@@ Property / zbMATH Keywords: graded \(\mu\)-calculus / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:4608726

Latest revision as of 10:16, 6 May 2024

Redirect to:

Item:Q3584953