Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marina Lenisa
An Open Logical Framework
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Conway Games, Algebraically and Coalgebraically
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Becoming an Open Educator: Towards an Open Threshold Framework
Research in Learning Technology
Computer Science Applications
Education
An Open Framework for Dynamic Reconfiguration
A Logical Framework With Dependently Typed Records
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logical Framework for Evolution of Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Product Lifecycle Management in an Open Industry Framework
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Logical Framework for Reasoning About Risk
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Martin-Löf's Type Theory as an Open-Ended Framework
International Journal of Foundations of Computer Science
Computer Science
China’s Manufacturing Strategy Choice: An Integrated Strategic Analysis Framework Combining SWOT and Logical Growth Models
Asian Economic and Financial Review
Development
Management
Finance
Business
Economics
Accounting
Econometrics
