The following pages link to Petros Stefaneas (Q1697085):
Displaying 19 items.
- Building and integrating semantic theories over institutions (Q1697086) (← links)
- Generic constructions and generic limits (Q1697088) (← links)
- On combining algebraic specifications with first-order logic via Athena (Q1697091) (← links)
- A rule-based approach for air traffic control in the vicinity of the airport (Q1697094) (← links)
- A formal representation of video content with the picture hyperoperation (Q1697098) (← links)
- Lattices in generative classes (Q2279483) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents (Q2938118) (← links)
- Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques (Q3522871) (← links)
- (Q4383342) (← links)
- (Q4671707) (← links)
- (Q4945683) (← links)
- (Q5173658) (← links)
- Definable Sets in Generic Structures and their Cardinalities (Q5374069) (← links)
- (Q5414299) (← links)
- (Q5420764) (← links)
- Proofs as Spatio-Temporal Processes (Q5499605) (← links)
- On the transformations of the square of opposition from the point of view of institution model theory (Q6600395) (← links)
- A logical framework to model software development by multiple agents following a common specification (Q6636670) (← links)
