The Community for Technology Leaders
Cognitive Informatics, IEEE International Conference on (1993)
Sudbury, Ontario, Canada Canada
May 27, 1993 to May 29, 1993
ISBN: 0-8186-4212-2
TABLE OF CONTENTS

Consistency management for software design information repository (PDF)

A. Oka , Software Labs., NTT, Tokyo, Japan
S. Yamamoto , Software Labs., NTT, Tokyo, Japan
S. Isoda , Software Labs., NTT, Tokyo, Japan
pp. 579-585

An entity-relationship approach to schema evolution (PDF)

C.T. Liu , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
S.K. Chang , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
P.K. Chrysanthis , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 575-578

Evaluating partitioning techniques for main memory database: horizontal and single vertical (PDF)

Yu Chin Cheng , Sch. of Comput. Sci., Oklahoma Univ., Norman, OK, USA
L. Gruenwald , Sch. of Comput. Sci., Oklahoma Univ., Norman, OK, USA
G. Ingels , Sch. of Comput. Sci., Oklahoma Univ., Norman, OK, USA
M.T. Thakkar , Sch. of Comput. Sci., Oklahoma Univ., Norman, OK, USA
pp. 570-574

Multimedia databases modeling (PDF)

J.-F. Merlet , URACOM, Ramonville, France
C. Nadalin , URACOM, Ramonville, France
pp. 555-559

Eliminating unnecessary array bounds checks in nests of loops (PDF)

K. Psarris , Dept. of Comput. Sci., Ohio Univ., Athens, OH, USA
pp. 550-554

Chronolog(Z): linear-time logic programming (PDF)

M.A. Orgun , Dept. of Comput., Macquarie Univ., Sydney, NSW, Australia
pp. 545-549

On data allocation with minimum overall communication costs in distributed database design (PDF)

Xuemin Lin , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
M. Maria Orlowska , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
Yanchun Zhang , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
pp. 539-544

On driving and monitoring Smalltalk-80 applications using Unix spreadsheets (PDF)

J.-P. Corriveau , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
B. Macready , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
pp. 534-538

Optimal operations on red-black trees (PDF)

Lin Chen , Univ. of Southern California, Los Angeles, CA, USA
pp. 529-533

Preprocessing first-class functions for Ada (PDF)

P.A. Bailes , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
D. Johnston , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
E. Salzman , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
pp. 524-528

AI-based classification and retrieval of reusable software components (PDF)

A. Prasad , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
pp. 519-523

A neural network model for documentary base self-organising and querying (PDF)

M. Boughanem , MSI, Univ. des Sci. de Limoges, France
R. Layaida , MSI, Univ. des Sci. de Limoges, France
A. Caron , MSI, Univ. des Sci. de Limoges, France
pp. 512-518

A software reuse system based on natural language specifications (PDF)

M.R. Girardi , Geneva Univ., Switzerland
B. Ibrahim , Geneva Univ., Switzerland
pp. 507-511

An extended version model for artistic design applications (PDF)

B.M. Eaglestone , Dept. of Comput., Bradford Univ., UK
G.L. Davies , Dept. of Comput., Bradford Univ., UK
pp. 502-506

Parallel naive and semi-naive transitive closure evaluation (PDF)

Xiaofang Zhou , Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
M.E. Orlowska , Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
pp. 497-501

Index selection in relational databases (PDF)

S. Choenni , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
H. Blanken , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 491-496

The geoSQL language for the manipulation of geographical data (PDF)

F. Arcieri , Algotech srl, Rome, Italy
S. Ercoli , Algotech srl, Rome, Italy
pp. 484-490

Improving the reusability of program specification through data flow modeling (PDF)

Hee Beng Kuan Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Tok Wang Ling , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Yin Seong Ho , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 479-483

Towards CASE tool support for rigorous structured analysis (PDF)

R.B. France , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 474-478

From code comprehension model to tool capabilities (PDF)

A. von Mayrhauser , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
A.M. Vans , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
pp. 469-473

A method for software reuse through large component libraries (PDF)

G. Sindre , Norwegian Inst. of Technol., Trondheim, Norway
pp. 464-468

Performance analysis of time-stamp ordering algorithms in database systems: the pure restarts case (PDF)

M. Eltoweissy , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
H. Abdel-Wahab , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 458-463

An object-oriented data model specification (PDF)

D.K.C. Chan , Dept. of Comput. Sci., Glasgow Univ., UK
D.J. Harper , Dept. of Comput. Sci., Glasgow Univ., UK
P. Trinder , Dept. of Comput. Sci., Glasgow Univ., UK
pp. 453-457

Using information retrieval for software reuse (PDF)

Jian-Yun Nie , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
F. Paradis , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
J. Vaucher , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
pp. 448-452

A heterogeneous distributed information system (PDF)

S.M. Chung , Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
C.N. Ravikiran , Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
pp. 443-447

A timestamp-based concurrency control algorithm for heterogeneous distributed databases (PDF)

S.M. Chung , Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
K.A. Elghayesh , Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
pp. 438-442

The serializability of transactions in object bases (PDF)

M. Zapp , Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
K. Barker , Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
pp. 428-432

Why functional languages really need parallelism (PDF)

P.A. Bailes , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
Ming Gong , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
A. Moran , Dept. of Comput. Sci., Queensland Univ., Qld., Australia
pp. 423-427

The descriptor theory-what is it about? (PDF)

S. Stainer , Dept. of Software Eng., Alcatel Austria AG, Wien, Austria
pp. 418-422

Evaluation of linear join processing trees in shared-nothing database environment (PDF)

L. Harada , Fujitsu Labs. Ltd., Kawasaki, Japan
N. Akaboshi , Fujitsu Labs. Ltd., Kawasaki, Japan
pp. 413-417

Case-based reasoning methodology for analyzing multi-database schemas (PDF)

Jian Yang , Dept. of Comput. Sci., New South Wales Univ., Canberra, ACT, Australia
pp. 408-412

The perfect and imperfect clocks approach to performance analysis of basic timestamp ordering in distributed databases (PDF)

C.J. Bouras , Dept. of Comput. Sci. & Eng., Patras Univ., Greece
P.G. Spirakis , Dept. of Comput. Sci. & Eng., Patras Univ., Greece
pp. 403-407

A framework for incremental integration tools (PDF)

M. Lefering , Lehrstuhl fur Inf., Tech. Hochschule Aachen, Germany
pp. 398-402

Why views do not provide logical data independence (PDF)

M. Boogaard , Vrije Univ., Amsterdam, Netherlands
J. de Graaff , Vrije Univ., Amsterdam, Netherlands
R. Veldwijk , Vrije Univ., Amsterdam, Netherlands
pp. 393-397

Formal description and verification of knowledge base redundancy and subsumption (PDF)

N.K. Liu , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
pp. 385-389

A parallel algorithm for the Steiner tree problem (PDF)

K. Makki , Dept. of Comput. Sci., Nevada Univ., Las Vegas, NV, USA
pp. 380-384

Designing a stochastic parameter reasoner (PDF)

Marimin , Agro-Ind. Technol. Dept., FATETA-IPB, Bogor, Indonesia
pp. 375-379

Interval-set algebra for qualitative knowledge representation (PDF)

Y.Y. Yao , Dept. of Math. Sci., Lakehead Univ., Thunder Bay, Ont., Canada
pp. 370-374

Bootstrap learning of /spl alpha/-/spl beta/-evaluation functions (PDF)

A.P. Heinz , Inst. fur Inf., Freiburg Univ., Germany
C. Hense , Inst. fur Inf., Freiburg Univ., Germany
pp. 365-369

Size-depth tradeoff for strictly non-blocking generalized-concentrators (PDF)

H.K. Dai , Dept. of Comput. Sci., North Dakota Univ., Grand Forks, ND, USA
pp. 41-47

Discovery of geometry theorems: avoiding isomorphic situation descriptions (PDF)

R. Bagai , Dept. of Comput. Sci., Wichita State Univ., KS, USA
V. Shanbhogue , Dept. of Comput. Sci., Wichita State Univ., KS, USA
J.M. Zytkow , Dept. of Comput. Sci., Wichita State Univ., KS, USA
S.C. Chou , Dept. of Comput. Sci., Wichita State Univ., KS, USA
pp. 354-358

Formal concept analysis with many-sorted attributes (PDF)

R.E. Kent , Dept. of Comput. & Inf. Sci., Arkansas Univ., Little Rock, AR, USA
pp. 349-353

The Concept concept (PDF)

S.Y. Sedelow , Arkansas Univ., Little Rock, AR, USA
W.A. Sedelow , Arkansas Univ., Little Rock, AR, USA
pp. 339-343

Interlinguae (PDF)

Walter A. Sedelow , Arkansas Univ., Little Rock, AR, USA
Sally Yeates Sedelow , Arkansas Univ., Little Rock, AR, USA
pp. 332-338

The CSA approach to knowledge representation in neural networks (PDF)

E. Eberbach , Jodrey Sch. of Comput. Sci., Acadia Univ., Wolfville, NS, Canada
pp. 327-331

An object-oriented expert system for local area network design (PDF)

Chih-Hung Wu , Dept. of Electr. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
Shie-Jue Lee , Dept. of Electr. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 321-326

Dynamic integration of knowledge in memory (PDF)

A. Kabbaj , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
C. Frasson , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
pp. 316-320

Pattern matching for case analysis: a computational definition of closeness (PDF)

S. Delisle , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
T. Copeck , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
S. Szpakowicz , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
K. Barker , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
pp. 310-315

Improving efficiency of a theorem prover by eliminating redundant unifications using network structures (PDF)

Shie-Jue Lee , Dept. of Electr. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
Chih-Hung Wu , Dept. of Electr. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 299-304

Combination of evidence in rough set theory (PDF)

P. Lingras , Dept. of Comput. Sci., Algoma Univ. Coll., Sault Ste Marie, Ont., Canada
pp. 289-293

B***-tree: a family of efficient data packaging multiway trees (PDF)

A.A. Toptsis , Dept. of Comput. Sci. & Math., York Univ., Toronto, Ont., Canada
pp. 282-286

B**-tree: a data organization method for high storage utilization (PDF)

A.A. Toptsis , Dept. of Comput. Sci. & Math., York Univ., Toronto, Ont., Canada
pp. 277-281

Optimizing the time cost of the parallel structures with a limited number of processors (PDF)

T.A. Fergany , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
R.A. Ammar , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
M.R. Neilforoshan-Dardashti , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
pp. 272-276

Parallel algorithm for quadtree medial axis transform (PDF)

D.P. Doctor , Dept. of Comput. Sci., Texas Univ., Dallas, TX, USA
H. Sudborough , Dept. of Comput. Sci., Texas Univ., Dallas, TX, USA
pp. 266-271

Speculative parallelism in BaLinda Lisp (PDF)

C.K. Yuen , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
M.D. Feng , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
J.J. Yee , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 261-265

A simple optimal parallel dictionary machine (PDF)

F. Choi , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
I.W. Chan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 256-260

Integrated concurrency-coherence control in distributed shared memory (PDF)

D. Jutla , Sch. of Comput. Sci., Tech. Univ., Halifax, NS, Canada
P. Bodorik , Sch. of Comput. Sci., Tech. Univ., Halifax, NS, Canada
pp. 251-255

A denotational model for the integration of concurrent, functional and imperative programming (PDF)

D. Bolignano , Bull Corp. Res. Center, Les Clayes-sous-Bois, France
M. Debabi , Bull Corp. Res. Center, Les Clayes-sous-Bois, France
pp. 244-250

Parallel computing dominators on hypercube multiprocessors (PDF)

S.J. Horng , Dept. of Electr. Eng., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 240-243

Context parallelism in an indexical programming language (PDF)

Weichang Du , Dept. of Math., Stat. & Comput. Sci., New Brunswick Univ., Saint John, NB, Canada
pp. 235-239

Independent performance modeling of parallel architectures and algorithms (PDF)

E.E. Johnson , Parallel Archit. Res. Lab., New Mexico State Univ., Las Cruces, NM, USA
pp. 230-234

Job simulation techniques on incomplete and Gray code incomplete hypercubes (PDF)

I. Stojmenovic , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
pp. 225-229

An efficient parallel solution for the longest increasing subsequence problem (PDF)

C. Cerin , LAMIFA, Univ. de Picardie Jules Verne, Amiens, France
pp. 220-224

On the concurrency of C++ (PDF)

Xining Li , Dept. of Math. Sci., Lakehead Univ., Thunder Bay, Ont., Canada
He Huang , Dept. of Math. Sci., Lakehead Univ., Thunder Bay, Ont., Canada
pp. 215-219

Solvable classes for reliable network allocation (PDF)

C. Stivaros , Dept. of Comput. Sci., Fairleigh Dickinson Univ., Madison, NJ, USA
pp. 207-211

On the complexities of leader election algorithms (PDF)

H. Abu-Amara , Dept. of Electr. Eng., Texas A&M Univ., College Station, TX, USA
pp. 202-206

A distributed approach to the design of applications (PDF)

D. Johansen , Dept. of Comput. Sci., Tromso Univ., Norway
pp. 195-201

An efficient transitive closure algorithm for distributed databases (PDF)

I.H. Toroslu , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
L. Henschen , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 185-189

A distributed algorithm for ear decomposition (PDF)

S. Hannenhalli , Dept. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
K. Perumalla , Dept. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
N. Chandrasekharan , Dept. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
pp. 180-184

Performance of barrier synchronization methods in a multi-access network (PDF)

Shun Yan Cheung , Dept. of Math. & Comput. Sci., Emory Univ., Atlanta, GA, USA
V.S. Sunderam , Dept. of Math. & Comput. Sci., Emory Univ., Atlanta, GA, USA
pp. 175-179

Design and implementation of a distributed applications testbed (PDF)

J.W. Hong , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
A. Bauer , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
J.A. O'Neill , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
pp. 170-174

A sequentially consistent distributed shared memory (PDF)

J.Z. Zhou , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M. Mizuno , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
G. Singh , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 165-169

DCL: protocols and primitives for distributed and concurrent computing in networked environments (PDF)

V.S. Sunderam , Dept. of Math. & Comput. Sci., Emory Univ., Atlanta, GA, USA
pp. 160-164

On the rearrangeability of switching networks composed of digital symmetrical matrices (PDF)

D.T. Huynh , Comput. Sci. Program, Texas Univ., Dallas, TX, USA
H.N. Nguyen , Comput. Sci. Program, Texas Univ., Dallas, TX, USA
pp. 155-159

A new decomposition method to relieve the state space explosion problem (PDF)

X. Li , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
R. Lai , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
T.S. Dillon , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
pp. 150-154

On implementing large fault-tolerant binary tree architecture in WSI (PDF)

Siu-Cheung Chau , Dept. of Math. & Comput. Sci., Lethbridge Univ., Alta., Canada
pp. 145-149

BUS: a multicasting protocol for interconnected LANs (PDF)

O. ZeinElDine , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
M. Eltoweissy , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
H. Abdel-Wahab , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 140-144

Object oriented specification of multi-layered protocols (PDF)

A.F. Watts , Centre for Satellite Eng. Res., Surrey Univ., Guildford, UK
pp. 133-139

Impact of priority-based ATM switch design on system performance (PDF)

Jianxun Ding , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 128-132

Potential benefits of file migration in a heterogeneous distributed file system (PDF)

R.T. Hurley , Comput. Studies Program, Trent Univ., Peterborough, Ont., Canada
S.A. Yeap , Comput. Studies Program, Trent Univ., Peterborough, Ont., Canada
pp. 123-127

On a communication software generation method from communication service specifications described by a declarative language (PDF)

K. Kawata , ATR Commun. Syst. Res. Labs., Kyoto, Japan
A. Takura , ATR Commun. Syst. Res. Labs., Kyoto, Japan
T. Ohta , ATR Commun. Syst. Res. Labs., Kyoto, Japan
pp. 116-122

Fixed-path proxy-logins with assured termination (PDF)

T. Hardjono , ATR Int., Kyoto, Japan
T. Ohta , ATR Int., Kyoto, Japan
pp. 111-115

Minimize linear mutual recursion by rule unfolding (PDF)

Ke Wang , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 98-102

Analysis of windowing operations on R/sup +/ trees (PDF)

Xiao You Zhou , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
W.A. Davis , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 93-97

A combinatorial view of visibility graphs of simple polygons (PDF)

J. Abello , Dept. of Comput. Sci., Texas A&M Univ., TX, USA
K. Kumar , Dept. of Comput. Sci., Texas A&M Univ., TX, USA
pp. 87-92

An efficient parallel recognition algorithm of parity graphs (PDF)

E. Dahlhaus , Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia
pp. 82-86

On space bounded server algorithms (PDF)

G.R. Baliga , Dept. of Comput. & Inf. Sci., Delaware Univ., Newark, DE, USA
pp. 77-81

Interpretive language implementation from a layered operational model (PDF)

M.J. Oudshoorn , Dept. of Comput. Sci., Adelaide Univ., SA, Australia
pp. 71-76

Far field path planning for rotorcraft NOE missions in a mountainous region (PDF)

Huade Li , Sch. of Comput. & Inf., Griffith Univ., Nathan, Qld., Australia
F. Suraweera , Sch. of Comput. & Inf., Griffith Univ., Nathan, Qld., Australia
pp. 65-70

An O(n log/sub 2/n) hybrid sorting algorithm on 2-D grid (PDF)

Kok-Phuang Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Ghim-Hwee Ong , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Seng-Chuan Tay , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 60-64

Selectivity (PDF)

L. Hemachandra , Dept. of Comput. Sci., Rochester Univ., NY, USA
pp. 55-59

On the difference between Turing machine time and random-access machine time (PDF)

K.W. Regan , State Univ. of New York, Buffalo, NY, USA
pp. 36-40

Efficient algorithms for all-pairs shortest path problem on interval, directed path, and circular-arc graphs (PDF)

D.S. Joshi , Sch. of Comput. Sci., Oklahoma Univ., Norman, OK, USA
R. Sridhar , Sch. of Comput. Sci., Oklahoma Univ., Norman, OK, USA
pp. 31-35

Efficient approximation algorithms for domatic partition and on-line coloring of circular arc graphs (PDF)

M.V. Marathe , Dept. of Comput. Sci., Albany Univ., NY, USA
H.B. Hunt , Dept. of Comput. Sci., Albany Univ., NY, USA
S.S. Ravi , Dept. of Comput. Sci., Albany Univ., NY, USA
pp. 26-30

The synthesis of two compatible rooted trees in a rooted supertree by an algorithm on sets (PDF)

M. Kant , Dept. of Comput. Sci., Moncton Univ., NB, Canada
pp. 20-25

/spl lambda/-calculi with decidable /spl cap/-type checking (PDF)

K.E. Flannery , Dept. of Comput. Sci., North Dakota Univ., Grand Forks, ND, USA
pp. 13-19

On the complexity of bisimilarity of normed probabilistic context-free processes (PDF)

D.T. Huynh , Comput. Sci. Program, Texas Univ., Dallas, TX, USA
Lu Tian , Comput. Sci. Program, Texas Univ., Dallas, TX, USA
pp. 3-7
94 ms
(Ver 3.3 (11022016))