Amanote Research

Amanote Research

    RegisterSign In

Observational Interpretation of Casl Specifications

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129507006536
Full Text
Open PDF
Abstract

Available in full text

Categories
MathematicsComputer Science Applications
Date

February 1, 2008

Authors
MICHEL BIDOITDONALD SANNELLAANDRZEJ TARLECKI
Publisher

Cambridge University Press (CUP)


Related search

Interpretation of Observational Studies

Heart
Cardiovascular MedicineCardiology
2004English

Symbolic Synthesis for Epistemic Specifications With Observational Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

New Cosmological Model and Its Implications on Observational Data Interpretation

EPJ Web of Conferences
AstronomyPhysics
2013English

CDDW 2007 Including the 3rd Annual CASL Winter Meeting

Canadian Journal of Gastroenterology
2006English

A Specification Translation From Behavioral Specifications to Rewrite Specifications

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2008English

Abstracts of Patent Specifications

The Journal of the Royal Aeronautical Society
1938English

Development of Mirror Specifications

1979English

Abstracts of Patent Specifications

The Journal of the Royal Aeronautical Society
1933English

Abstracts of Patent Specifications

The Journal of the Royal Aeronautical Society
1934English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy