Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by WALID TAHA
Reasoning About Multi-Stage Programs
Journal of Functional Programming
Software
Related publications
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Programs Using a Scientific Method
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Resource-Sensitive Multi-Agents
Reasoning About Object-Oriented Programs That Use Subtypes
Understanding of Heterogeneous Multi-Stage Meta-Programs
Information Technology and Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics
An MDE Approach for Modelling and Reasoning About Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
Reasoning About Justified Belief
