Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Daniel Leivant
Partial Correctness Assertions Provable in Dynamic Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
General Correctness: A Unification of Partial and Total Correctness
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Partial Correctness and Continuous Integration in Computer Supported Education
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
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks
Studia Logica
Philosophy of Science
Logic
History
Dynamic Partial Reconfiguration in FPGAs
Regulating Patent Assertions
Default Agreement With Subjective Assertions
Semantics and Linguistic Theory
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
Constrained Dynamic Partial Order Reduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
