Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  30 results for ""fixed point""

Your Filters

Collection : Rwth Aachen University
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Semiring Provenance for Fixed-Point Logic

Subjects: DE

  • Source: Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 183, 17:1-17:22 (2021).

Record details

Read More Add to Saved list
×
Report

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

Subjects: DE

  • Source: doi:10.18154/RWTH-2019-09537

Record details

Read More Add to Saved list
×
Academic Journal

Properties of the non-Gaussian fixed point in 4D compact U(1) lattice gauge theory

Subjects: DE

  • Source: Nuclear physics / B, Particle physics 53(Proc. Suppl.), 696-698 (1997).

Record details

Read More Add to Saved list
×
Conference

Latticed $k$-Induction with an Application to Probabilistic Programs

Subjects: bounded model checking; fixed point theory; k-inductionDE

  • Source: Cham, Switzerland : Springer, Lecture notes in computer science 12760, 524-549 (2021). doi:10.1007/978-3-030-81688-9_25 ; Computer-Aided Verification : 33rd International Conference, CAV 2021 :

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Automated deductive verification of probabilistic programs

Subjects: info:eu-repo/classification/ddc/004; Markov decision processes; fixed point theoryDE

  • Source: Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2024). doi:10.18154/RWTH-2025-00473 = Dissertation, RWTH Aachen University, 2024

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Pure and applied fixed point logics

Subjects: info:eu-repo/classification/ddc/510; Fixpunkt-Logik; MathematikDE

  • Source: Aachen : Publikationsserver der RWTH Aachen University 237 S. : graph. Darst. (2002). = Aachen, Techn. Hochsch., Diss., 2002

Record details

Read More Add to Saved list
×
Conference

Counting in Team Semantics

Subjects: fixed-point logic with counting; logics with counting; team semanticsDE

  • Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics (LIPIcs) 62, 35, 18 Seiten (2016). doi:10.4230/LIPIcs.CSL.2016.35 ; 25th EACSL Annual

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Choiceless computation and logic

Subjects: info:eu-repo/classification/ddc/510; Cai-Fürer-Immerman graphs; Finite Model TheoryDE

  • Source: Aachen 1 Online-Ressource (182 Seiten) : Illustrationen (2019). doi:10.18154/RWTH-2020-00549 = Dissertation, RWTH Aachen University, 2019

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Fragments of existential second-order logic and logics with team semantics

Subjects: info:eu-repo/classification/ddc/510; closure properties; existential second-order logicDE

  • Source: Aachen 1 Online-Ressource (ii, 103 Seiten) : Illustrationen, Diagramme (2019). doi:10.18154/RWTH-2020-05121 = Dissertation, RWTH Aachen University, 2019

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Monitoring coherent systems: exact and computational statistical inference

Subjects: info:eu-repo/classification/ddc/510; EM algorithm; Weibull distributionDE

  • Source: Aachen 1 Online-Ressource (vii, 249 Seiten) : Illustrationen, Diagramme (2019). doi:10.18154/RWTH-2019-09683 = Dissertation, RWTH Aachen University, 2019

Record details

Read More Add to Saved list
×
  • 1-10 of  30 results for ""fixed point""