Blank Cover Image

Control flow wersus logic: a denotational and a eclarative model for guarded horn clauses

Author(s):
Publication title:
NASA Technical Reports
Pub. Year:
1989
No.:
N91-12246
Paper no.:
N91-12246
Page(from):
1
Page(to):
19
Pages:
19
Pub. info.:
National Aeronautics and Space Adminstration
Language:
English
Type:
Technical Paper

Similar Items:

1 Technical Paper From failure to success: comparing a denotational and a declarative semantics for Horn clause logic

de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M.

National Aeronautics and Space Adminstration
7 Technical Paper Fully abstract denotational models for nonumitorm concurrent languages

Horita, E., de Bakker, J.W., Rutten, J.J.M.M.

National Aeronautics and Space Adminstration
2 Technical Paper The failure of failures: towards a paradigm for asychronous communication

de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M.

National Aeronautics and Space Adminstration
8 Technical Paper A fully abstract model for concurrent constrasint programming

de Boer, F.S., Palamidessi, C.

National Aeronautics and Space Adminstration
3 Technical Paper Semantic models for a version of Parlog

de Boer, F.S., Kek, J.N., P, C., Rutten, J.J.M.M.

National Aeronautics and Space Adminstration
9 Technical Paper Systematic Formulation of Efficient and Durable Axle Lubricants for Light Trucks and Sport Utility Vehicles.

Vinci, J.N., Grisso, B.A., Schenkenberger, C., Qureshi, F.S., Gahagan, M.P.

Society of Automotive Engineers
4 Technical Paper DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM.

KOK, J.N.

National Aeronautics and Space Administration
10 Technical Paper Analogue/Digital Wind Tunnel Testing of Active Low Momentum Flow Control on Single and Multi-Component Airfoil Systems at High Lift.

Lewington, N.P., Peake, D.J., Henry, F.S., Singh, C.

American Institute of Aeronautics and Astronautics
5 Technical Paper A fully abstract model for concurrent logic languages

de Boer, F.S., Palamidessi, C.

National Aeronautics and Space Adminstration
11 Technical Paper Modeling and Control of a Urea-SCR Aftertreatment System.

Chi, J.N., DaCosta, H.F.M.

Society of Automotive Engineers
6 Technical Paper Derving denotational models for bisimulation from structured operational semantics

Rutten, J.J.M.M.

National Aeronautics and Space Adminstration
12 Technical Paper Selection of Fuzzification, Inference and Defuzzification Techniques for Fuzzy Logic Control.

Smith, F.S.

Society of Manufacturing Engineers
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12