Some computer science papers

KeywordsTitleAuthorsDownloadNotes
Lambek calculus and noncommutative linear logic
Lambek calculus,
linguistics
A gentle introduction to Type Logical Grammar, the Curry-Howard correpondence, and cut-elimination Chris Barker pdf (167K)2003
18 pp.
product-free Lambek calculus with permutation,
complexity
Bounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing Michail Flouris,
Lap Chi Lau,
Tsuyoshi Morioka,
Periklis A. Papakonstantinou,
Gerald Penn
ps (94K)2003
9 pp.
Lambek calculus,
proof nets
Proof nets for the Lambek calculus -- an overview Fran\c{c}ois Lamarche,
Christian Retor\'{e}
pdf1996
22 pp.
Lambek calculus,
noncommutative linear logic
Calcul de Lambek et Logique Lin\'{e}aire Christian Retor\'{e} pdf1996
32 pp. (fr)
linear logic,
proof net
Handsome proof-nets: R&B Graphs, Perfect Matchings, and Series-parallel Graphs Christian Retor\'{e} choose a format1999
52 pp.
Lambek calculus,
categorial grammar,
complexity
Lambek calculus: Recognizing power and complexity Makoto Kanazawa choose a format1999
14 pp.
product-free Lambek calculus,
categorial grammar,
complexity
Proof theory and formal grammars -- applications of normalization Hans-Joerg Tiede pdf2002
21 pp.
linear logic,
non-associative Lambek calculus,
proof net
Classical non-associative Lambek calculus Philippe de Groote,
Fran\c{c}ois Lamarche
ps
30 pp.
multiplicative cyclic linear logic,
proof net
Polynomial equivalence among systems $ \mathrm{LLNC} $, $ \mathrm{LLNC}_a $ and $ \mathrm{LLNC}_0 $ Fran\c{c}ois M\'{e}tayer pdf1999
8 pp.
bilinear logic,
category theory
Introduction to linear bicategories J. R. B. Cockett,
J. Koslowski,
Robert A. G. Seely
ps.gz2000
40 pp.
bilinear logic,
category theory
Weakly distributive categories J. R. B. Cockett,
Robert A. G. Seely
ps.gz1997
35 pp.
bilinear logic,
category theory
Proof Theory for full intuitionistic linear logic, bilinear logic, and MIX categories J. R. B. Cockett,
Robert A. G. Seely
ps.gz1997
48 pp.
bilinear logic,
category theory
Natural deduction and coherence for weakly distributive categories R. F. Blute,
J. R. B. Cockett,
Robert A. G. Seely,
T. H. Trimble
ps.gz1996
61 pp.
linear logic,
natural deduction
Natural deduction for intuitionistic non-commutative linear logic Jeff Polakow,
Frank Pfenning
ps.gz (71K)
linear logic,
natural deduction
Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic Jeff Polakow,
Frank Pfenning
ps.gz (89K)
bilinear logic Substructural logics on display Rajeev Gor\'{e} dvi (248K)1998
55 pp.
multiplicative commutative + noncommutative linear logic,
proof net
Non-commutative logic I : the multiplicative fragment V. Michele Abrusci,
Paul Ruet
ps.gz2000
38 pp.
product-free Lambek calculus,
proof net
A graph-theoretic approach to sequent derivability in the Lambek calculus Gerald Penn ps (309K)2002
22 pp.
product-free Lambek calculus,
grammar
On the Connection between Context-Free Grammars and Lambek Categorial Grammars Gerald Penn ps1998
12 pp.
multiplicative noncommutative linear logic,
proof net
A new correctness criterion for multiplicative non commutative proof nets Roberto Maieli choose a format2001
16 pp.
product-free non-associative Lambek calculus,
complexity
Non-associative Lambek categorial grammar in polynomial time Erik Aarts,
Kees Trautwein
ps1995
11 pp.
Lambek calculus,
non-associative Lambek calculus,
complexity
Lambek calculus with nonlogical axioms Wojciech Buszkowski ps (185K)2002
14 pp.
Lambek calculus Type logics in grammar Wojciech Buszkowski pdf (185K)2003
46 pp.
Lambek calculus Finite restricted powerset models for the Lambek calculus and its extensions Wojciech Buszkowski choose a format
20 pp.
Lambek calculus Cut elimination for the Lambek calculus of adjoints Wojciech Buszkowski ps (130K)
9 pp.
Lambek calculus Representation theorems for implication structures Wojciech Buszkowski choose a format1996
7 pp.
Lambek calculus Representation of residuated semigroups in some algebras of relations (the method of canonical models) Wojciech Buszkowski choose a format1997
18 pp.
linear logic,
proof net
Labelled proof systems for intuitionistic provability Vincent Balat,
Didier Galmiche
choose a format2000
31 pp.
linear logic,
complexity
Constant-only multiplicative linear logic is NP-complete Patrick Lincoln,
Timothy Winkler
choose a format1992
17 pp.
linear logic,
complexity
Decision problems for propositional linear logic Patrick Lincoln,
John Mitchell,
Andre Scedrov,
Natarajan Shankar
ps (1178K)1994
89 pp.
Lambek calculus,
proof net
Generation as deduction on labelled proof nets Josep M. Merenciano,
Glyn Morrill
choose a format
19 pp.
product-free Lambek calculus,
categorial grammar,
natural deduction
Proof figures and structural operators for categorial grammar Guy Barry,
Mark Hepple,
Neil Leslie,
Glyn Morrill
pdf1991
6 pp.
product-free Lambek calculus Normal form theorem proving for the Lambek calculus Mark Hepple pdf1990
6 pp.
Lambek calculus,
complexity
Parsing for semidirectional Lambek grammar is NP-complete Jochen D\"{o}rre choose a format1996
7 pp.
Lambek calculus,
proof net
Relational interpretation and geometrical form Glyn Morrill choose a format
38 pp.
categorial grammar A CUF Tutorial Esther K\"{o}nig choose a format1998
26 pp.
Lambek calculus,
categorial grammar
LexGram. A practical categorial grammar formalism Esther K\"{o}nig choose a format1999
20 pp.
commutative linear logic,
complexity upper bounds
Decidability and finite model property of substructural logics Hiroakira Ono choose a format1998?
12 pp.
Lambek calculus,
linear logic
Relevant and substructural logics Greg Restall choose a format2001
105 pp.
linear logic,
Lambek calculus,
proof net
An algebraic correctness criterion for intuitionistic proof-nets Philippe de Groote choose a format1997
20 pp.
Lambek calculus,
categorial grammar
On the generative capacity of multi-modal Categorial Grammars Gerhard J\"{a}ger choose a format1998
15 pp.
Lambek calculus,
categorial grammar,
proof net
Memoisation of categorial proof nets: parallelism in categorial processing Glyn Morrill choose a format1996
13 pp.
Lambek calculus,
categorial grammar
The logical school of categorial grammar Glyn Morrill ps.gz1992
11 pp.
Lambek calculus,
categorial grammar
Structural facilitation and structural inhibition Glyn Morrill ps.gz1994
38 pp.
Lambek calculus,
categorial grammar
Clausal proofs and discontinuity Glyn Morrill dvi.gz1995
pp.
Lambek calculus,
categorial grammar
Categorial Type Logics Michael Moortgat choose a format1997
54 pp.
Lambek calculus,
categorial grammar
Categorial grammar and formal semantics Michael Moortgat pdf (237K)2002
21 pp.
non-associative Lambek calculus,
Lambek calculus,
categorial grammar
Structural Control Natasha Kurtonina,
Michael Moortgat
pdf1997
43 pp.
categorial grammar,
Lambek calculus,
linear logic,
proof net,
complexity
Proof Nets for Linguistic Analysis Richard Moot pdf2002
263 pp.
Lambek calculus,
categorial grammar
Relationship between strong and weak generative power of formal systems Aravind K. Joshi choose a format2000
7 pp.
Lambek calculus,
categorial grammar
Deductive Systems and Grammars: Proofs as Grammatical Structures Hans-Joerg Tiede ps.gz (204K)1999
122 pp.
Lambek calculus,
categorial grammar
Lambek calculus proofs and tree automata Hans-Joerg Tiede ps (329K)2001
16 pp.
Lambek calculus,
categorial grammar
From proof trees in Lambek Calculus to Ajdukiewicz Bar-Hillel elimination binary trees Yannick Le Nir 2001
20 pp.
Lambek calculus,
categorial grammar
Extending Lambek grammars: a logical account of minimalist grammars Alain Lecomte,
Christian Retor\'{e}
choose a format2001
10 pp.
Lambek calculus,
categorial grammar,
proof net
Proof-Nets, hybrid logics and minimalist representations Alain Lecomte choose a format1999
18 pp.
product-free Lambek calculus,
proof net
Proof-nets and dependencies Alain Lecomte ps1992
7 pp.
Lambek calculus,
proof nets,
Montague semantics
Generation with semantic proof nets Sylvain Pogodalla ps1999
26 pp.
Lambek calculus,
proof nets,
Montague semantics
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets Sylvain Pogodalla choose a format2000
7 pp.
Basics of theoretical computer science
theory of algorithms,
grammar
Introduction to theoretical computer science Tommi Syrj\"{a}nen et al 2000 (fi)
Deductive systems
programming languages,
natural deduction
Computation and Deduction Frank Pfenning 1997
312 pp.
Many-valued logic
logic,
fuzzy logic
Deductive systems of fuzzy logic Petr H\'{a}jek,
Lluis Godo
ps.Z (116K)
approx. 48 pp.
Data compression
data compression,
grammar
Evaluating Grammar-Based Data Compression Algorithms Abhi Shelat choose a format2001
38 pp.
data compression,
grammar
Off-line Compression by Greedy Textual Substitution Alberto Apostolico,
Stefano Lonardi
choose a format2000
13 pp.
grammar,
data compression
Approximating the Smallest Grammar: Kolmogorov Complexity in Natural Models Moses Charikar,
Eric Lehman,
Ding Liu,
Rina Panigrahy,
Manoj Prabhakaran,
April Rasala,
Amit Sahai,
Abhi Shelat
choose a format2002
10 pp.
grammar,
data compression
Approximations algorithms for grammar-based compression Eric Lehman,
Abhi Shelat
choose a format2002
8 pp.
grammar,
data compression
On the Minimization Problem of Text Compression Scheme by a Reduced Grammar Transform Hiroshi Sakamoto,
Shinichi Shimozono,
Ayumi Shinohara,
Masayuki Takeda
choose a format2002
9 pp.
data compression Structures of String Matching and Data Compression N. Jesper Larsson pdf (719K)
130 pp.
data compression Byte pair encoding: a text compression scheme that accelerates pattern matching Yusuke Shibata,
Takuya Kida,
Shuichi Fukamachi,
Masayuki Takeda,
Ayumi Shinohara,
Takeshi Shinohara,
Setsuo Arikawa
choose a format1999
13 pp.
data compression Unifying text search and compression - suffix sorting, block sorting and suffix arrays Kunihiko Sadakane choose a format2000
148 pp.
data compression,
rotation,
move-to-front coding,
suffix tree
A Block-sorting Lossless Data Compression Algorithm M. Burrows,
D. J. Wheeler
ps.zip (60K)1994
18 pp.
data compression Modeling for text compression Timothy Bell,
Ian H. Witten,
John G. Cleary
txt.zip (57K)1989 (ru)
data compression Compressing the Digital Library Timothy C. Bell,
Alistair Moffat,
Ian H. Witten
pdf (33K)1994
6 pp.
data compression Fast Convergence with a Greedy Tag-Phrase Dictionary Tony C. Smith,
Ross Peeters
choose a format1998
10 pp.
data compression A Context-Tree Weighting Method for Text Generating Sources Tjalling J. Tjalkens,
Paul A. J. Volf,
Frans M. J. Willems
ps (169K)1997
1 pp.
data compression The Context-Tree Weighting Method: Basic Properties F. M. J. Willems,
Y. M. Shtarkov,
Tj. J. Tjalkens
choose a format1995
12 pp.
data compression Implementing the Context-Tree Weighting Method: Arithmetic Coding Tj. J. Tjalkens,
F. M. J. Willems
choose a format1997
8 pp.
data compression Implementing the Context Tree Weighting Method for Text Compression Kunihiko Sadakane,
Takumi Okazaki,
Hiroshi Imai
choose a format2000
10 pp.
data compression,
grammar,
MPM
Universal Lossless Compression Via Multilevel Pattern Matching John Kieffer,
En-hui Yang,
Gregory Nelson,
Pamela Cosman
choose a format2000
59 pp.
data compression,
grammar
Grammar-Based Codes: A New Class of Universal Lossless Source Codes John Kieffer,
En-hui Yang
choose a format2000
57 pp.
data compression Lossless Data Compression via Guided Approximate Bisections John Kieffer,
En-hui Yang
choose a format2000
6 pp.
data compression A Survey of Advances in Hierarchical Data Compression John Kieffer choose a format
18 pp.
data compression Tutorial on the Quadrisection Method and Related Methods for Lossless Data Compression John Kieffer,
Greg Nelson,
En-hui Yang
ps (125K)
13 pp.
data compression On the Performances of Data Compression Algorithms Based upon String Matching En-hui Yang,
John Kieffer
ps (529K)1995
49 pp.
data compression Code design via selection of a statistical model John Kieffer ps (154K)
15 pp.
data compression,
MPM
Complexity of Preprocessor in MPM Data Compression System John Kieffer,
En-hui Yang,
Trevor Park,
Sidney Yakowitz
ps (93K)
9 pp.
data compression Lossless Compression via Bisection Trees John Kieffer,
En-hui Yang,
Gregory Nelson,
Pamela Cosman
ps (263K)
22 pp.
data compression Second Order Analysis of Data Compression Algorithms John Kieffer ps (81K)
8 pp.
data compression,
LZ78
On the average redundancy rate of the Lempel-Ziv code Guy Louchard,
Wojciech Szpankowski
choose a format1996
15 pp.
grammar,
data compression,
SEQUITUR
Identifying Hierarchical Structure in Sequences: A Linear-time Algorithm Craig G. Nevill-Manning,
Ian H. Witten
choose a format1997
16 pp.
grammar,
data compression
Lexically-generated Subject Hierarchies for browsing large collections Craig G. Nevill-Manning,
Ian H. Witten,
Gordon W. Paynter
ps.gz (347K)
17 pp.
grammar,
data compression
Compression by Induction of Hierarchical Grammars Craig G. Nevill-Manning,
Ian H. Witten,
David L. Maulsby
pdf (44K)
9 pp.
data compression,
dynamic programming
Between Dynamic Programming and Greedy: Data Compression Richard S. Bird,
Oege de Moor
ps (279K)1995
33 pp.
data compression,
arithmetic coding,
image compression
The Design and Analysis of Efficient Lossless Data Compression Systems Paul Glor Howard ps.Z (508K)1993
98 pp.
data compression Text data compression algorithms Maxime Crochemore,
T. Lecroq
ps (325K)1998
32 pp.
data compression,
arithmetic coding,
PPM
Unbounded length contexts for PPM J. G. Cleary,
W. J. Teahan
ps.gz (194K)1997
9 pp.
Data mining
data mining A Practical Algorithm to Find the Best Subsequence Patterns Masahiro Hirao,
Hiromasa Hoshino,
Ayumi Shinohara,
Masayuki Takeda,
Setsuo Arikawa
choose a format2000
17 pp.
data mining A Fast Algorithm for Discovering Optimal String Patterns in Large Text Databases Hiroki Arimura,
Atsushi Wataki,
Ryoichi Fujino,
Setsuo Arikawa
choose a format1998
15 pp.
data mining Knowledge Discovery from Semistructured Texts Hiroshi Sakamoto,
Hiroki Arimura,
Setsuo Arikawa
choose a format2000?
13 pp.
data mining Discovering Generalized Episodes Using Minimal Occurrences Heikki Mannila,
Hannu Toivonen
choose a format1996
6 pp.
String search
string Fast Algorithms for Sorting and Searching Strings Jon L. Bentley,
Robert Sedgewick
choose a format1997
10 pp.
pattern matching Automata for matching patterns Maxime Crochemore,
Christophe Hancart
ps (490K)1997
48 pp.
pattern matching Pattern matching in strings Maxime Crochemore,
Christophe Hancart
ps (258K)1998
27 pp.
string distance,
repeated substring
String Search Graham A Stephen ps (793K)1992
126+ pp.
string Exact String Matching Algorithms Christian Charras,
Thierry Lecroq

134 pp.
pattern matching Efficient Algorithms for Sequence Analysis with Concave and Convex Gap Costs David A. Eppstein choose a format1989
128 pp.
pattern matching Efficient Algorithms for Sequence Analysis David Eppstein,
Zvi Galil,
Raffaele Giancarlo,
Giuseppe F. Italiano
choose a format1991
20 pp.
pattern matching Approximate Regular Expression Pattern Matching with Concave Gap Penalties James R. Knight,
Eugene W. Myers
choose a format1995
30 pp.
pattern matching Discrete Pattern Matching Over Sequences And Interval Sets James Robert Knight choose a format1996
88 pp.
pattern matching Pattern Matching Techniques and Their Applications to Computational Molecular Biology. A Review Eric C. Rouchka choose a format1999
8 pp.
Combinatorics of words
string Combinatorics of words Christian Choffrut,
Juhani Karhum\"{a}ki
choose a format1997
110 pp.
string A simple undecidable problem: The inclusion problem for finite substitutions on $ ab^*c $ Juhani Karhum\"{a}ki,
L. P. Lisovik

16 pp.
Grammars and automata
formal language,
decidability
L(A)=L(B)? A simplified decidability proof G\'{e}raud S\'{e}nizergues 2002
54 pp.
formal language,
generative grammar
Formal Grammars and Languages Tao Jiang,
Ming Li,
Bala Ravikumar,
Kenneth W. Regan
pdf (215K)
40 pp.
formal language,
generative grammar
Observations on Grammar and Language Families Henning Fernau choose a format1993
27 pp.
grammar A Note on the Complexity of Restricted Attribute-Value Grammars Leen Torenvliet,
Marten Trautwein
choose a format1995
18 pp.
formal language,
generative grammar,
complexity
Computation with Absolutely No Space Overhead L. A. Hemaspaandra,
P. Mukherji,
T. Tantau
ps.gz2002
14 pp.
Linguistics
natural language,
grammar
A linear logic treatment of phrase structure grammars for unbounded dependencies Joshua S. Hodas pdf1997
20 pp.
natural language,
grammar
Affix grammars for natural languages C. H. A. Koster choose a format1991
16 pp.
natural language,
grammar
Meaning helps learning syntax Isabelle Tellier choose a format1998
12 pp.
Complexity theory
formal language Nondeterministic space is closed under complementation Neil Immerman choose a format1988
7 pp.
complexity The complexity of propositional proofs Alasdair Urquhart choose a format1995
43 pp.
Visual languages, GUI
GUI,
interface editor,
Lapidary
Demonstrational and Constraint-Based Techniques for Pictorially Specifying Application Objects and Behaviors Brad Vander Zanden,
Brad A. Myers
ps (766K)
47 pp.
constraint An Incremental Algorithm for Satisfying Hierarchies of Multi-way, Dataflow Constraints Brad Vander Zanden ps (664K)1995
59 pp.
Formal Specification of Visual Languages David M. Gee ps (183K)
13 pp.
Statecharts
statechart The STATEMATE Semantics of Statecharts David Harel,
Amnon Naamad
ps (453K)1996
36 pp.
statechart,
object-oriented,
model
Executable Object Modeling with Statecharts David Harel,
Eran Gery
ps (327K)1994
23 pp.
Requirements State Machine Language,
analysis
Completeness and Consistency in Hierarchical State-Based Requirements Mats P. E. Heimdahl,
Nancy G. Leveson
ps (337K)
31 pp.
statechart,
shortest path,
Hamiltonian cycle
On the Algorithmics of Higraphs Ornit Grossman,
David Harel
ps (382K)1997
32 pp.
Petri nets
Petri net,
object-oriented
An Object Oriented Specification Language based on Hierarchical Algebraic Petri Nets Olivier Biberstein,
Didier Buchs
ps (245K)
Petri net Jonathan Ostroff html (14K)
Petri net Place/Transition Nets with Debit Arcs P. David Stotts,
Parke Godfrey
ps (165K)1992
Process modelling
process,
model
Refinement of Actions and Equivalence Notions for Concurrent Systems Rob van Glabbeek,
Ursula Goltz
ps (961K)
103 pp.
process,
model
Interleaving Semantics and Action Refinement with Atomic Choice Ingo Czaja,
Rob J. van Glabbeek,
Ursula Goltz
ps (217K)
19 pp.
process,
model
Integrating Process Modeling with Configuration Management Casper Lassenius,
Reijo Sulonen,
Kari Alho,
Vesa W\"{a}yrynen
html (37K)
process,
model
Process Enactment Support in a Distributed Environment Kari Alho,
Casper Lassenius,
Reijo Sulonen
html (36K)
concurrent system,
model
Strategic Directions in Computing Research Concurrency Working Group Report Rance Cleaveland et al html (106K)
process,
model
MVP-L Language Report Alfred Br\"{o}ckers et al ps (208K)1992
A High-Level Object-Oriented Specification Language for Configuration Management and Tool Integration O. Neumann,
S. Sachweh,
W. Sch\"{a}fer
ps (104K)
7 pp.
Graphs
graph layout Randomized Graph Drawing with Heavy-Duty Preprocessing David Harel,
Meir Sardas
ps (272K)1994
26 pp.
graph,
datatype
An initial-algebra approach to directed acyclic graphs Jeremy Gibbons ps.gz (65K)
22 pp.
Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs Jeremy Gibbons ps.gz (121K)1999
57 pp.
graph An Interchange File Format for Graphs Michael Himsolt ps (171K)
8 pp.
UML, object-oriented modelling
ObjecTime,
CASE tool,
UML,
code-generation,
object-oriented
Real-Time Object-Oriented Modeling Kevin W. Smith html (17K)
ObjecTime,
CASE tool,
UML
UML for Real-Time Kevin W. Smith pdf (17K)
8 pp.
UML,
object-oriented
Formal Definition and Refinement of UML's Module/Package Concept Andy Sch\"{u}rr,
Andreas J. Winter
ps (90K)
PROGRES - a graph rewriting language
PROGRES,
graph rewriting,
specification
Spezifikation und Prototyping graphbasierter Systeme Andy Sch\"{u}rr,
Andreas J. Winter,
Albert Z\"{u}ndorf
ps (330K) (de)
PROGRES Developing Graphical (Software Engineering) Tools with PROGRES Andy Sch\"{u}rr ps (183K)
PROGRES,
graph rewriting
PROGRESS: A VHL-Language Based on Graph Grammars Andy Sch\"{u}rr ps (797K)1990
Computation with graphs
COMPUGRAPH,
graph transformation,
graph grammar,
complex system,
specification,
Petri net
Graphische Spezifikation ausgew\"{a}hlter Teile von AGG - einem algebraischen Graphgrammatiksystem Mirko Conrad,
Gabriele Taentzer et al
1995
89 pp. (de)
COMPUGRAPH,
graph transformation,
distributed system
Distributed Graphs and Graph Transformation Gabriele Taentzer ps (414K)1997
25 pp.
COMPUGRAPH,
graph transformation,
distributed system
Hierarchically Distributed Graph Transformation Gabriele Taentzer ps (201K)1995
25 pp.
COMPUGRAPH,
graph transformation,
distributed system
DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems Gabriele Taentzer,
Andy Sch\"{u}rr
ps (158K)1995
9 pp.
COMPUGRAPH,
hierarchical graph
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types (long version) Gregor Engels,
Andy Sch\"{u}rr
ps (279K)1995
29 pp.
COMPUGRAPH,
hierarchical graph
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types Gregor Engels,
Andy Sch\"{u}rr
ps (251K)1995
9 pp.
COMPUGRAPH,
HostGraph
Computing with Graphs and Graph Rewriting Dorothea Blostein,
Andy Sch\"{u}rr
ps (515K)1995
9 pp.
COMPUGRAPH,
graph grammar,
graph transformation
Third Interim Report. Computing by Graph Transformation II H. Ehrig,
G. Taentzer
ps (159K)1995
22 pp.
COMPUGRAPH,
graph grammar,
graph transformation
COMPUGRAPH II: A Survey of Research Goals and Main Results Hartmut Ehrig,
Gabriele Taentzer
ps (95K)
Curricula
curriculum A High-School Program in Computer Science Judith Gal-Ezer,
CatrielBeeri,
David Harel,
Amiram Yehudai
ps (245K)1994
19 pp.
Varia
Programming from Specifications Carroll Morgan ps (1635K)1998
144 pp.
Towards a Theory of Recursive Structures David Harel ps (214K)1994
18 pp.
Hierarchical Attribute Grammars: Dialects, Applications and Evaluation Algorithms Alan Carle ps (875K)1992
117 pp.
Semantics with Applications: A Formal Introduction Hanne Riis Nielson,
Flemming Nielson
ps.gz1992
240 pp.
textbook Complexity of Algorithms P. Gacs,
L. Lovasz
ps (1328K)1999
textbook Discrete Mathematics L. Lovasz,
K. Vesztergombi
ps (1318K)1999
118 pp.

Location: http://lpcs.math.msu.su/~pentus/fromwww.htm
Last modified: 02.09.2005.

Mati Pentus