Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
No label defined
(Q3385648)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
author
Frank D. Valencia
0 references
publication date
20 December 2021
0 references
full work available at URL
https://arxiv.org/abs/1908.08634
0 references
http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2019.3
0 references
Mathematics Subject Classification ID
68Q55
0 references
68Q85
0 references
zbMATH DE Number
7449993
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
Nondeterminism and infinite computations in constraint programming
0 references
Q4530231
0 references
On the Measurement of Polarization
0 references
Linear concurrent constraint programming: Operational and phase semantics
0 references
Q4845472
0 references
Continuous Lattices and Domains
0 references
Belief, knowledge, lies and other utterances in an algebra for space and extrusion
0 references
Reasoning about distributed information with infinitely many agents
0 references
Deriving Inverse Operators for Modal Logic
0 references
Characterizing right inverses for spatial constraint systems with applications to modal logic
0 references
Knowledge and common knowledge in a distributed environment
0 references
Reasoning about common knowledge with infinitely many agents
0 references
CONCUR 2012 -- concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4--7, 2012. Proceedings
0 references
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
0 references
Q3150207
0 references
Real-time rewriting logic semantics for spatial concurrent constraint programming
0 references
Q4264203
0 references
On validity in modelization of musical problems by CCP
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:3385648
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
