Amanote Research

Amanote Research

    RegisterSign In

On the Logical Characterisation of Performability Properties

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45022-x_65
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2000

Authors
Christel BaierBoudewijn HaverkortHolger HermannsJoost-Pieter Katoen
Publisher

Springer Berlin Heidelberg


Related search

Editorial: Grid Performability

Computer Journal
Computer Science
2005English

Logical Closure Properties of Propositional Proof Systems

English

On the Logical Status of the Theory of Evolution

Laval Theologique et Philosophique
PhilosophyReligious Studies
1952English

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework

2005English

A Note on Logical Pluralism

Filosofia Unisinos
Philosophy
2016English

Characterisation of Skin Biomechanical Properties via Experiment-Numerical Integration

International Journal of Engineering and Technology(UAE)
ArchitectureHardwareEngineeringChemical EngineeringBiotechnologyEnvironmental EngineeringComputer Science
2018English

Synthesis, Characterisation and Vasolidation Properties of Indanone-Based Chalcones

Journal of Physical Science
Materials ScienceAstronomyPhysics
2018English

On the Logical Form of Some Commonplace Action Expressions

Grazer Philosophische Studien
Philosophy
1980English

Logical Truth and Logical Form

Grazer Philosophische Studien
Philosophy
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy