partial logic
Recently Published Documents

TOTAL DOCUMENTS

31
(FIVE YEARS 1)

H-INDEX

8
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime

2021 ◽  
Author(s):  
Tobias Scheipel ◽  
Peter Brungs ◽  
Marcel Baunach
Keyword(s):  
Partial Logic

scholarly journals Automatic correction of logic bugs in hardware design: Partial logic synthesis

2018 ◽  
Vol 125 ◽  
pp. 790-800
Author(s):  
Masahiro Fujita
Keyword(s):  
Hardware Design ◽  
Logic Synthesis ◽  
Automatic Correction ◽  
Partial Logic

scholarly journals Truth, Partial Logic and Infinitary Proof Systems

Studia Logica ◽  
2017 ◽  
Vol 106 (3) ◽  
pp. 515-540 ◽  
Author(s):  
Martin Fischer ◽  
Norbert Gratzl
Keyword(s):  
Proof Systems ◽  
Partial Logic

New algorithm for calculation of Fussell-Vesely importance with application of direct partial logic derivatives

2015 ◽  
pp. 1423-1430 ◽  
Author(s):  
M Kvassay ◽  
E Zaitseva ◽  
J Kostolny ◽  
V Levashenko
Keyword(s):  
Partial Logic

Importance analysis of multi-state systems based on integrated direct partial logic derivatives

2015 ◽  
Author(s):  
Miroslav Kvassay ◽  
Elena Zaitseva ◽  
Jozef Kostolny ◽  
Vitaly Levashenko
Keyword(s):  
Partial Logic ◽  
Importance Analysis

Towards Fuzzy Partial Logic

2015 ◽  
Author(s):  
Libor Behounek ◽  
Vilem Novak
Keyword(s):  
Partial Logic

Axiomatizing Kripke's theory in partial logic

2015 ◽  
pp. 214-242
Author(s):  
Volker Halbach
Keyword(s):  
Partial Logic

Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives

2015 ◽  
pp. 41-48 ◽  
Author(s):  
Jozef Kostolny ◽  
Elena Zaitseva ◽  
Suzana Stojković ◽  
Radomir Stanković
Keyword(s):  
Decision Diagrams ◽  
Partial Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document