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...

Combining Decision Procedures

Formal Methods at the Crossroads. From Panacea to Foundational Support, 2003, p.381-422

2003

Volltextzugriff (PDF)

Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

Frontiers of Combining Systems, 2005, p.48-64

1ère éd, 2005

Volltextzugriff (PDF)

Combining Decision Procedures for Sorted Theories

Lecture notes in computer science, 2004, p.641-653

2004

Volltextzugriff (PDF)

CAD and optimization of compact ortho-mode transducers

IEEE transactions on microwave theory and techniques, 1999-12, Vol.47 (12), p.2479-2486

1999

Volltextzugriff (PDF)

Combining Nonstably Infinite Theories

Journal of automated reasoning, 2005-04, Vol.34 (3), p.209-238

2005

Volltextzugriff (PDF)

Combining Sets with Integers

Frontiers of Combining Systems, 2002, Vol.2309, p.103-116

2002

Volltextzugriff (PDF)

Combining Sets with Cardinals

Journal of automated reasoning, 2005-01, Vol.34 (1), p.1-29

Zarba, Calogero G.

2005

Volltextzugriff (PDF)

Compiling dyadic first-order specifications into map algebra

Theoretical computer science, 2003-02, Vol.293 (2), p.447-475

2003

Volltextzugriff (PDF)

A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning

Automated Reasoning with Analytic Tableaux and Related Methods, 2000, p.143-159

2000

Volltextzugriff (PDF)

Combining Lists with Non-stably Infinite Theories

Lecture notes in computer science, 2005, p.51-66

2005

Volltextzugriff (PDF)

A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity

Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.93-107

2005

Volltextzugriff (PDF)

Design and development of a prototype of hybrid superconducting receiver front-end for UMTS wireless network: first results and application perspectives

IEEE transactions on applied superconductivity, 2005-06, Vol.15 (2), p.988-991

2005

Volltextzugriff (PDF)

CAD of multipactor-free waveguide components for communication satellites

2002 IEEE MTT-S International Microwave Symposium Digest (Cat. No.02CH37278), 2002, Vol.3, p.2077-2080 vol.3

2002

Volltextzugriff (PDF)

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

Journal of automated reasoning, 2005-01, Vol.34 (1), p.49-72

2005

Volltextzugriff (PDF)

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case

Journal of automated reasoning, 2004-10, Vol.33 (3-4), p.251-269

2004

Volltextzugriff (PDF)

Combining Multisets with Integers

Automated Deduction—CADE-18, 2002, p.363-376

2002

Volltextzugriff (PDF)

CAD and optimization of compact ortho-mode transducers

1999 IEEE MTT-S International Microwave Symposium Digest (Cat. No.99CH36282), 1999, Vol.1, p.257-260 vol.1

1999

Volltextzugriff (PDF)

A decision procedure for a sublanguage of set theory involving monotone additive and multiplicative functions, II. The multi-level case

Matematiche, 2005-05, Vol.60 (1), p.133-162

2005

Volltextzugriff (PDF)

A Decision Procedure for Monotone Functions over Bounded and Complete Lattices

Lecture notes in computer science, 2006, p.318-333

2006

Volltextzugriff (PDF)

A stable and efficient admittance method for the analysis of complex waveguide circuits

1999 IEEE MTT-S International Microwave Symposium Digest (Cat. No.99CH36282), 1999, Vol.1, p.381-384 vol.1

1999

Volltextzugriff (PDF)

Interpolation for data structures

Foundations of Software Engineering: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering; 05-11 Nov. 2006, 2006, p.105-116

2006

Volltextzugriff (PDF)

Combining sets with elements

Lecture notes in computer science, 2003, p.762-782

ZARBA, Calogero G

2003

Volltextzugriff (PDF)

A Tableau Calculus for Combining Non-disjoint Theories

Automated Reasoning with Analytic Tableaux and Related Methods, 2002, p.315-329

2002

Volltextzugriff (PDF)

A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory

Automated Deduction in Classical and Non-Classical Logics, p.126-136

Volltextzugriff (PDF)

A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification

Automated Reasoning with Analytic Tableaux and Related Methods, 1999, p.97-112

1999

Volltextzugriff (PDF)

1 – 25 von 93

Menü

Weitere Dienste

Einstellungen

Combining Decision Procedures

Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

Combining Decision Procedures for Sorted Theories

CAD and optimization of compact ortho-mode transducers

Combining Nonstably Infinite Theories

Combining Sets with Integers

Combining Sets with Cardinals

Compiling dyadic first-order specifications into map algebra

A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning

Combining Lists with Non-stably Infinite Theories

A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity

Design and development of a prototype of hybrid superconducting receiver front-end for UMTS wireless network: first results and application perspectives

CAD of multipactor-free waveguide components for communication satellites

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case

Combining Multisets with Integers

CAD and optimization of compact ortho-mode transducers

A decision procedure for a sublanguage of set theory involving monotone additive and multiplicative functions, II. The multi-level case

A Decision Procedure for Monotone Functions over Bounded and Complete Lattices

A stable and efficient admittance method for the analysis of complex waveguide circuits

Interpolation for data structures

Combining sets with elements

A Tableau Calculus for Combining Non-disjoint Theories

A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory

A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification

Suchergebnisse filtern