Searching for authors named Krysia Broda – sorted by Relevance.
-
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

