The following pages link to Giorgio Levi (Q915475):
Displayed 50 items.
- (Q913528) (redirect page) (← links)
- Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
- Finite failures and partial computations in concurrent logic languages (Q915476) (← links)
- Partial evaluation of metaprograms in a ``multiple worlds'' logic language (Q1108779) (← links)
- Contributions to the semantics of logic perpetual processes (Q1113661) (← links)
- Differential logic programs: Programming methodologies and semantics (Q1126260) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q1200981) (← links)
- Generalized AND/OR graphs (Q1228371) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- A model-theoretic reconstruction of the operational semantics of logic programs (Q1803658) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Pair-independence and freeness analysis through linear refinement. (Q1873754) (← links)
- Abstract interpretation based verification of logic programs (Q1887175) (← links)
- Observable behaviors and equivalences of logic programs (Q1900312) (← links)
- Structural descriptions of fingerprint images (Q2553153) (← links)
- A technique for graph embedding with constraints on node and arc correspondences (Q2555871) (← links)
- On the verification of finite failure (Q2575838) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
- (Q2722047) (← links)
- (Q2736350) (← links)
- How to Transform an Analyzer into a Verifier (Q2996196) (← links)
- Generalized semantics and abstract interpretation for constraint logic programs (Q3128618) (← links)
- NESTED GUARDED HORN CLAUSES (Q3358219) (← links)
- A synchronization logic: Axiomatics and formal semantics of generalized horn clauses (Q3719821) (← links)
- (Q3727352) (← links)
- The relation between logic and functional languages: a survey (Q3735058) (← links)
- (Q3742694) (← links)
- (Q3957929) (← links)
- (Q4036549) (← links)
- (Q4089762) (← links)
- (Q4155819) (← links)
- (Q4217939) (← links)
- (Q4259957) (← links)
- (Q4282599) (← links)
- Modelling Prolog Control (Q4286208) (← links)
- The s-semantics approach: Theory and applications (Q4305626) (← links)
- Finite failure is and-compositional (Q4381868) (← links)
- (Q4414385) (← links)
- (Q4494369) (← links)
- (Q4499243) (← links)
- Abstract diagnosis (Q4700386) (← links)
- (Q4736999) (← links)
- Observable Semantics for Constraint Logic Programs (Q4763533) (← links)
- (Q4858579) (← links)
- Resultant semantics for prolog (Q4895546) (← links)
- (Q4896503) (← links)
- Assertion based Inductive Verification Methods for Logic Programs (Q4923368) (← links)
- Logic programs as specifications in the inductive verification of logic programs (Q4923522) (← links)
- (Q4954441) (← links)