Amanote Research

Amanote Research

    RegisterSign In

The Meaning of Negative Premises in Transition System Specifications

Journal of the ACM - United States
doi 10.1145/234752.234756
Full Text
Open PDF
Abstract

Available in full text

Categories
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
Date

September 1, 1996

Authors
Roland BolJan Friso Groote
Publisher

Association for Computing Machinery (ACM)


Related search

Transition System Specifications With Negative Premises

English

The Design Specifics of the Diffused Lighting System of Premises Based on LEDs

Energy-Efficiency in Civil Engineering and Architecture
2019English

System Analysis of Prevention of Man-Made Emergency Situations in Consequence of Fire in the Premises of the Object

ScienceRise
2020English

Radiation Situation in the Premises of the "Shelter" Object

Condensed Matter Physics
AstronomyPhysicsCondensed Matter Physics
1997English

Inertial System and Fundamental Particles—The Study of the Inertial System Meaning

Modern Physics
2015English

Fuzzy Max-Min Composition in Quality Specifications of Multi-Agent System

INTERNATIONAL JOURNAL OF COMPUTING ALGORITHM
2014English

Unstated Premises

Informal Logic
Philosophy
1985English

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel

Proceedings of the Institute for System Programming of RAS
2013English

ENABLING OR DISABLING WITH OLD SPECIFICATIONS - A New Information System Based on Old Specifications

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy