Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter Knijnenburg
Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Normal Forms in Partial Modal Logic
Banach Center Publications
Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics
Logical Investigations
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Methods of Partial Logic for Knowledge Representation and Deductive Reasoning in Incompletely Specified Domains
Development of Partial Discharge Automated Measuring System Using Multiple Logic Gates
IEEJ Transactions on Power and Energy
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Improving Correctness of Logic Circuit Using Self-Healing Built-In Logic Test Module in FPGA Using Dynamic Partial Reconfiguration
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation
Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
Communications in Algebra
Number Theory
Algebra
A Systemic Logic for Platform Business Models
Journal of Service Management
Management
Hospitality Management
Business
Leisure
Strategy
Accounting
Tourism
Logic Models for Program Evaluation in Emergency Nursing
Journal of Emergency Nursing
Emergency Nursing
