Journal: Fundamenta Informaticae

Volume 56, Issue 3

211 -- 242Philippe Balbiani. Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection
243 -- 253Hui-Feng Huang, Chin-Chen Chang. An Efficient and Practical (t, n) Threshold Proxy Signature Scheme with Known Signers
255 -- 272Maurice Margenstern. On the Infinigons of the Hyperbolic Plane, A combinatorial approach
273 -- 284Toby Ord, Tien D. Kieu. On the existence of a new family of Diophantine equations for z
285 -- 310Arkadiusz Wojna. Center-Based Indexing in Vector and Metric Spaces