researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Fundamenta Informaticae
Home
Index
Info
Issue
Volume
56
, Issue
3
211
--
242
Philippe Balbiani
.
Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection
243
--
253
Hui-Feng Huang
,
Chin-Chen Chang
.
An Efficient and Practical (t, n) Threshold Proxy Signature Scheme with Known Signers
255
--
272
Maurice Margenstern
.
On the Infinigons of the Hyperbolic Plane, A combinatorial approach
273
--
284
Toby Ord
,
Tien D. Kieu
.
On the existence of a new family of Diophantine equations for z
285
--
310
Arkadiusz Wojna
.
Center-Based Indexing in Vector and Metric Spaces