UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Dynamic Logics of Evidence-Based Beliefs

Studia logica, 2011-10, Vol.99 (1/3), p.61-92

2011

Volltextzugriff (PDF)

Design of Manchester Carry Chain Adder using High speed Domino Logic

IOP conference series. Materials Science and Engineering, 2019-10, Vol.561 (1), p.12125

2019

Volltextzugriff (PDF)

Controlled delay-through dynamic logic: leakage-tolerant high-speed dynamic logic

Electronics letters, 2015-11, Vol.51 (23), p.1856-1857

2015

Volltextzugriff (PDF)

A power‐performance tunable logic with adjustable threshold pseudo‐dynamic building blocks and CMOS compatibility

International journal of circuit theory and applications, 2018-04, Vol.46 (4), p.796-811

2018

Volltextzugriff (PDF)

Program models and semi-public environments

Journal of logic and computation, 2019-12, Vol.29 (7), p.1071-1097

2019

Volltextzugriff (PDF)

Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization

Theoretical computer science, 2021-06, Vol.872, p.15-40

2021

Volltextzugriff (PDF)

Dynamic Epistemic Logic for Channel-Based Agent Communication

Logic and Its Applications, 2013, p.109-120

2013

Volltextzugriff (PDF)

The probabilistic logic of communication and change

Journal of logic and computation, 2019-12, Vol.29 (7), p.1015-1040

2019

Volltextzugriff (PDF)

Logics of Dynamical Systems

2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.13-24

Platzer, Andre

2012

Volltextzugriff (PDF)

Introducing Interval Differential Dynamic Logic

Fundamentals of Software Engineering, 2021, Vol.12818, p.69-75

2021

Volltextzugriff (PDF)

Designing High-Speed Adders in Power-Constrained Environments

IEEE transactions on circuits and systems. II, Express briefs, 2009-02, Vol.56 (2), p.172-176

2009

Volltextzugriff (PDF)

A 16-Bit Barrel-Shifter Implemented in Data-Driven Dynamic Logic ( D ^3 L)

IEEE transactions on circuits and systems. 1, Fundamental theory and applications, 2006-10, Vol.53 (10), p.2194-2202

2006

Volltextzugriff (PDF)

Epistemic Game Theory and Logic

Weirich, Paul

2017

Volltextzugriff (PDF)

The dynamics of awareness

Synthese (Dordrecht), 2010-12, Vol.177 (Suppl 1), p.5-27

2010

Volltextzugriff (PDF)

Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail

Logic and Argumentation, 2023, Vol.14156, p.11-24

2023

Volltextzugriff (PDF)

Paraconsistent dynamics

Synthese (Dordrecht), 2016-01, Vol.193 (1), p.1-14

2016

Volltextzugriff (PDF)

A Semantics for Hyperintensional Belief Revision Based on Information Bases

Studia logica, 2022-06, Vol.110 (3), p.679-716

Bozdag, Sena

2022

Volltextzugriff (PDF)

Quantum logic as a dynamic logic

Synthese (Dordrecht), 2011-03, Vol.179 (2), p.285-306

2011

Volltextzugriff (PDF)

Dynamic Update with Probabilities

Studia logica, 2009-10, Vol.93 (1), p.67-96

2009

Volltextzugriff (PDF)

Toward a Dynamic Logic of Questions

Journal of philosophical logic, 2012-08, Vol.41 (4), p.633-669

2012

Volltextzugriff (PDF)

Natural Language and Logic of Agency

Journal of logic, language, and information, 2014-09, Vol.23 (3), p.367-382

van Benthem, Johan

2014

Volltextzugriff (PDF)

From static ternary adders to high‐performance race‐free dynamic ones

Journal of engineering (Stevenage, England), 2015-12, Vol.2015 (12), p.371-382

2015

Volltextzugriff (PDF)

A Dynamic-Logical Perspective on Quantum Behavior

Studia logica, 2008-07, Vol.89 (2), p.187-211

2008

Volltextzugriff (PDF)

Dynamic Epistemic Logic for Implicit and Explicit Beliefs

Journal of logic, language, and information, 2014-06, Vol.23 (2), p.107-140

Velázquez-Quesada, Fernando R.

2014

Volltextzugriff (PDF)

On the Dynamic Logic of Agency and Action

Studia logica, 2014-06, Vol.102 (3), p.441-478

Hartonas, Chrysafis

2014

Volltextzugriff (PDF)

1 – 25 von 21.754

Menü

Weitere Dienste

Einstellungen

Dynamic Logics of Evidence-Based Beliefs

Design of Manchester Carry Chain Adder using High speed Domino Logic

Controlled delay-through dynamic logic: leakage-tolerant high-speed dynamic logic

A power‐performance tunable logic with adjustable threshold pseudo‐dynamic building blocks and CMOS compatibility

Program models and semi-public environments

Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization

Dynamic Epistemic Logic for Channel-Based Agent Communication

The probabilistic logic of communication and change

Logics of Dynamical Systems

Introducing Interval Differential Dynamic Logic

Designing High-Speed Adders in Power-Constrained Environments

A 16-Bit Barrel-Shifter Implemented in Data-Driven Dynamic Logic ( D ^3 L)

Epistemic Game Theory and Logic

The dynamics of awareness

Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail

Paraconsistent dynamics

A Semantics for Hyperintensional Belief Revision Based on Information Bases

Quantum logic as a dynamic logic

Dynamic Update with Probabilities

Toward a Dynamic Logic of Questions

Natural Language and Logic of Agency

From static ternary adders to high‐performance race‐free dynamic ones

A Dynamic-Logical Perspective on Quantum Behavior

Dynamic Epistemic Logic for Implicit and Explicit Beliefs

On the Dynamic Logic of Agency and Action

Suchergebnisse filtern