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