Proof-Theoretic Foundation of Hypothetical Reasoning.
Pablo López, Ernesto Pimentel(Universidad de Málaga)
Workshop on Functional and Constraint Logic Programming
January 1, 2000
Cited by 0
Related Papers
Formalizing Web Service Choreographies
|Electronic Notes in Theoretical Computer Science|2004|220
Specification and Refinement of Dynamic Software Architectures
|IFIP advances in information and communication technology|1999|109
Compatibility and inheritance in software architectures
|Science of Computer Programming|2001|108
Adding roles to CORBA objects
|IEEE Transactions on Software Engineering|2003|65