UB Paderborn / Katalog / Suche / in CDI

Lecture Notes in Computer Science, 28th International Workshop on Logic, Language, Information and Computation, Iași, Romania, September 20–23, 2022, Proceedings, 2022, Vol.13468, p.309-325

2022

Link zum Volltext

Verfügbarkeit prüfen

Non-monotonic Reasoning via Dynamic Consequence

Logic, Language, Information, and Computation, 2022, Vol.13468, p.395-410

2022

Link zum Volltext

Verfügbarkeit prüfen

Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic

Logic, Language, Information, and Computation, 2022, Vol.13468, p.378-394

2022

Link zum Volltext

Verfügbarkeit prüfen

Additive Types in Quantitative Type Theory

Logic, Language, Information, and Computation, 2022, Vol.13468, p.250-262

2022

Link zum Volltext

Verfügbarkeit prüfen

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations

Logic, Language, Information, and Computation, 2022, Vol.13468, p.280-294

2022

Link zum Volltext

Verfügbarkeit prüfen

Strongly First Order, Domain Independent Dependencies: The Union-Closed Case

Logic, Language, Information, and Computation, 2022, Vol.13468, p.263-279

2022

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 98

Suche als RSS-Feed

Aktive Filter

KollektionSpringerLink Series

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(97)
Mit Volltextzugriff
(98)

Publikationsform

Sprache

Englisch
(98)
Japanisch
(4)

Erscheinungsjahr

n.n

Zeitschrift / Serie

Bioscience
(21)
Aquaculture
(3)
Bioscience;
(1)
Computer Systems: Architectures, Modeling, And Simulation
(1)
Developmental Biology
(1)
Few-Body Systems
(1)
Lecture Notes In Computer Science
(1)

2 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Endoglin and Alk5 regulate epithelial–mesenchymal transformation during cardiac valve formation

A Logic of ``Black Box'' Classifier Systems

Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE

Multityped Abstract Categorial Grammars and Their Composition

Combinatorial Flows as Bicolored Atomic Flows

On the Computational Properties of the Uncountability of the Real Numbers

Logic of Visibility in Social Networks

Fixed Point Logics and Definable Topological Properties

Material Dialogues for First-Order Logic in Constructive Type Theory

The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable

Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting

Subordination Algebras as Semantic Environment of Input/Output Logic

Correspondence Theory for Generalized Modal Algebras

Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests

Tense Logics over Lattices

Interval Probability for Sessions Types

A Proof of the Focusing Theorem via MALL Proof Nets

What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?

Abstract Cyclic Proofs

Non-monotonic Reasoning via Dynamic Consequence

Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic

Additive Types in Quantitative Type Theory

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations

Strongly First Order, Domain Independent Dependencies: The Union-Closed Case

Aktive Filter

Suchergebnisse filtern