Smolka, Gert: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt and Gert Smolka

Journal:

Journal of Logic, Language and Information

Year:

1993

Language:

english

File:

PDF, 1.65 MB

english, 1993

52

Hybrid Logic: Dedicated to the Memory of Volker Weber || Terminating Tableau Systems for Hybrid Logic with Difference and Converse

Mark Kaminski and Gert Smolka

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 1.93 MB

english, 2009

53

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Counting, structure identification and maximum consistency for binary constraint satisfaction problems

Year:

1997

Language:

english

File:

PDF, 999 KB

english, 1997

54

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Modelling exceptionally hard constraint satisfaction problems

Year:

1997

Language:

english

File:

PDF, 1.04 MB

english, 1997

55

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Configurable solvers: Tailoring general methods to specific applications

Year:

1997

Language:

english

File:

PDF, 183 KB

english, 1997

56

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Verification of parallel systems using constraint programming

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

57

Regular Language Representations in the Constructive Type Theory of Coq

Doczkal, Christian, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 718 KB

english, 2018

58

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Tractable recursion over geometric data

Year:

1997

Language:

english

File:

PDF, 962 KB

english, 1997

59

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Why adding more constraints makes a problem easier for hill-climbing algorithms: Analyzing landscapes of CSPs

Year:

1997

File:

PDF, 819 KB

1997

60

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Why adding more constraints makes a problem easier for hill-climbing algorithms: Analyzing landscapes of CSPs

Year:

1997

Language:

english

File:

PDF, 819 KB

english, 1997

61

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || The logic of search algorithms: Theory and applications

Year:

1997

Language:

english

File:

PDF, 1.24 MB

english, 1997

62

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Random constraint satisfaction: A more accurate picture

Year:

1997

Language:

english

File:

PDF, 1018 KB

english, 1997

63

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems

Year:

1997

Language:

english

File:

PDF, 1.36 MB

english, 1997

64

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Reconfigurable architectures: A new vision for optimization problems

Year:

1997

Language:

english

File:

PDF, 937 KB

english, 1997

65

Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory

Kirst, Dominik, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 607 KB

english, 2018

66

Call-by-Value Lambda Calculus as a Model of Computation in Coq

Forster, Yannick, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 515 KB

english, 2018

67

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Interval methods for non-linear constraints

Year:

1997

Language:

english

File:

PDF, 79 KB

english, 1997

68

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Narrowing a 2n-block of sortings in O (n logn)

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

69

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Ordering constraints over feature trees

Year:

1997

Language:

english

File:

PDF, 1.02 MB

english, 1997

70

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Satisfiability of quantitative temporal constraints with multiple granularities

Year:

1997

Language:

english

File:

PDF, 1.23 MB

english, 1997

71

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || The constrainedness of Arc consistency

Year:

1997

Language:

english

File:

PDF, 974 KB

english, 1997

72

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Bounding the optimum of constraint optimization problems

Year:

1997

Language:

english

File:

PDF, 1.07 MB

english, 1997

73

[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - On synthetic undecidability in Coq, with an application to the Entscheidungsproblem

Forster, Yannick, Kirst, Dominik, Smolka, Gert

Year:

2019

Language:

english

File:

PDF, 814 KB

english, 2019

74

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Equivalence of system f and ź2 in Coq based on context morphism lemmas

Kaiser, Jonas, Tebbi, Tobias, Smolka, Gert

Year:

2017

Language:

english

File:

PDF, 404 KB

english, 2017