Executable Modal and Temporal Logics Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993

Name: Executable Modal and Temporal Logics Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993
Price: 33.0 USD
Availability: InStock
ISBN: 9783540589761

ISBN-10: 3540589767

ISBN-13: 9783540589761

Edition: 1995

Authors: Michael Fisher, Richard Owens

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $33.00

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This volume is published in honor of Friedrich Hund's 100th birthday. It is a modern review on matter at high densities and pressures in astrophysics from Hund's early contribution to present-day ideas. The relation between the equation of state and the structure of compact cosmic objects is discussed, and two main contributions deal with the equation of state of baryonic matter at nuclear densities and with the numerical solution of the general relativistic field equations for non-rotating and rapidly rotating neutron stars. In a final chapter the present state of asteroseismology is presented as a tool to explore the interior of cosmic objects by analyzing the observed free oscillations…

Book details

List price: $54.99
Copyright year: 1995
Publisher: Springer Berlin / Heidelberg
Publication date: 2/17/1995
Binding: Paperback
Pages: 188
Size: 6.10" wide x 9.25" long
Weight: 1.386
Language: English



An Introduction to Executable Modal and Temporal Logics



Temporal Logic Programming with Metric and Past Operators



A Combination of Clausal and Non Clausal


Temporal Logic Programs



Temporal Logic and Annotated Constraint Logic Programming



Efficiently Executable Temporal Logic Programs



Towards a Semantics for Concurrent METATEM



Constraint Deduction in an Interval-based Temporal Logic



Towards First-Order Concurrent METATEM



Solving Air-Traffic Problems with "Possible Worlds"



Investigations into the Application of Deontic Logic



Authors