{"controller"=>"catalog", "action"=>"show", "id"=>"243831845"}
  • EN
  • DA

Danish NationalResearch Database

  • Search Publications & Researchers
  • Open Access Indicator
  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the prase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
Need more help? Advanced search tutorial
  • Selected (0)
  • History

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Cardelli, Luca ;
    Close
    unknown
  • Larsen, Kim Guldstrand ;
    Close
    Department of Computer Science, The Technical Faculty of IT and Design, Aalborg University
  • Mardare, Radu
    Close
    Department of Computer Science, The Technical Faculty of IT and Design, Aalborg University
DOI:
10.4230/LIPIcs.CSL.2011.144
ISBN:
9783939897323
Type:
Conference paper
Language:
English
Published in:
Csl Computer Science Logic: 25th International Workshop / 20th Annual Conference of the Eacsl, Csl 2011, September 12-15, 2011, Bergen, Norway, Proceedings, 2011, p. 144-158
Main Research Area:
Science/technology
Publication Status:
Published
Review type:
Peer Review
Publisher:
Schloss Dagstuhl. Leibniz-Zentrum für Informatik
Submission year:
2011
Scientific Level:
Scientific
ID:
243831845

Full text access

  • Openaccess Elsewhere online
  • Doi Get publisher edition via DOI resolver
Checking for on-site access...

On-site access

At institution

  • Aalborg university.en

Metrics

Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • Open Access
    • Overview
    • Development
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and privacy policy

Copyright © 1998–2018.

Fivu en