Searching for authors named Krysia Broda – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Proof Systems -- A Vade-mecum
- …Proof Systems { A Vade-mecum ESSLLI2000 { Birmingham Krysia Broda Department of Computing Imperial…
- Add To MetaCart
-
Simplification Of Teleo-Reactive Sequences
- …SIMPLIFICATION OF TELEO-REACTIVE SEQUENCES Seyed R. Mousavi, Krysia Broda Computing Department…
- Add To MetaCart
-
A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction.
- … Natural Deduction. Krysia Broda Alessandra Russo Department of Computing Imperial College of Science…
- Cited by 1 (1 self) – Add To MetaCart
-
Policy conflict analysis using free variable tableaux for access control in web services environments
- … Environments ABSTRACT Hiroaki Kamoda NTT DATA CORPORATION Tokyo, Japan kamodah@(email omitted); Krysia Broda…
- Cited by 5 (0 self) – Add To MetaCart
-
Algorithmic Deduction based on Labelled Tableaux Project GR/J14745 - Final Report for EPSRC
- …Algorithmic Deduction based on Labelled Tableaux Project GR/J14745 - Final Report for EPSRC Krysia…
- Add To MetaCart
-
Mapping UML Models incorporating OCL Constraints into Object-Z
- …Mapping UML Models incorporating OCL Constraints into Object-Z David Roe, Krysia Broda…
- Cited by 1 (0 self) – Add To MetaCart
-
Hybrid Abductive Inductive Learning: a Generalisation of Progol
- …Hybrid Abductive Inductive Learning: a Generalisation of Progol Oliver Ray, Krysia Broda…
- Cited by 9 (3 self) – Add To MetaCart
-
A Hybrid Abductive Inductive Proof Procedure
- …A Hybrid Abductive Inductive Proof Procedure OLIVER RAY, KRYSIA BRODA, ALESSANDRA RUSSO…
- Cited by 1 (1 self) – Add To MetaCart
-
Simplification of Teleo-Reactive Sequences
- …SIMPLIFICATION OF TELEO-REACTIVE SEQUENCES Seyed R. Mousavi, Krysia Broda Computing Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Labelled Natural Deduction for Substructural Logics
- …Labelled Natural Deduction for Substructural Logics Krysia Broda ∗ , Marcelo Finger…
- Cited by 6 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
