Filters








336,644 Hits in 7.0 sec

Title index to volume 9

1990 The Journal of Logic Programming  
TITLE INDEX TO VOLUME 9 Absys: The First Logic Programming Language-A Retrospective and a Commentary, 1 Completed Logic Programs and Their Consistency, 33 Efficient Program Synthesis in Computational.  ...  Logic, 19 Models of Inductive Synthesis, 221 Problem Specification and Program Synthesis in the System SPORA, 141 Propositional Logic Programming and the Priz System, 179 Refutation Search for Horn Sets  ... 
doi:10.1016/0743-1066(90)90044-6 fatcat:2jyrsd2eczhgnjjozoftss3ycu

Title index to volume 17

1993 The Journal of Logic Programming  
, An, 95 Proof Method of Partial Correctness and Weak Com- pleteness for Normal Logic Programs, 265 Representing Action and Change by Logic Programs, 301  ...  the Well- Founded Semantics, A, 279 Lower Bounds for the Lengths of Refutations, 31 Non-Monotonic Reasoning with Logic Programming, 227 Overview of Nonmonotonic Reasoning and Logic Pro- gramming  ... 
doi:10.1016/0743-1066(93)90037-h fatcat:rsxo2ez2svbbljvjln2f2plmfe

Author index – Volume 51

2002 The Journal of Logic and Algebraic Programming  
PII: S 1 5 6 7 -8 3 2 6 ( 0 2 ) 0 0 0 2 6 -7 www.elsevier.com/locate/jlapThe Journal of Logic and Algebraic Programming 51 175 Ponse, A., Program algebra with unit instruction operators (2) 157 Wilder  ...  Author Index -Volume 51 (2002) (The issue number is given in front of the page numbers) Bergstra, J.A. and I. Bethke, Molecular dynamics (2) 193 Bergstra, J.A. and A.  ... 
doi:10.1016/s1567-8326(02)00026-7 fatcat:4yad5f56rber5efyhnpmns3bkq

Keyword Index – Volume (2004)

2005 The Journal of Logic and Algebraic Programming  
Keyword Index -Volume 62 (2005) (The issue number is given in front of the page numbers) Algorithms (1) 1 Automated reasoning (1) www.elsevier.com/locate/jlap The Journal of Logic and Algebraic  ...  Java (2) 247 Logic programming (1) 41 Many-sorted algebra (1) 71 Meta architectures (1) 41 Meta control (1) 41 Meta programming (1) 41 Metric algebra (1) 71 Network generator (1) 1 Nondeterminism  ... 
doi:10.1016/s1567-8326(04)00104-3 fatcat:vnbc77o6hbdn5iyttq7cy7ybai

Author Index – Volume (2004)

2005 The Journal of Logic and Algebraic Programming  
interpretation (1) 59 Abstract process (2) 177 Actors (2) 270 Architecture description language (  ...  Observational equivalence (1) 131 Object-oriented design (2) www.elsevier.com/locate/jlap The Journal of Logic and Algebraic Programming 63 (2005) 299 doi:10.1016/S1567-8326(05)00018-4 270 Occurrence  ...  2) 177 Reuse and behavioral inheritance (2) 241 Security types (1) 3 Software architectures (2) 270 Static analysis (1) 59 Synchronous programming (2) 241 Testing equivalences (1) 3 Type systems  ... 
doi:10.1016/s1567-8326(05)00017-2 fatcat:lnmlmhluynbvjikwo5sfkzrsni

Author Index – Volume (2004)

2005 The Journal of Logic and Algebraic Programming  
Kimms, Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming (1) 1 Bergstra, J.A. and I.  ...  Reniers, Hybrid process algebra (2) 191 Doberkat, E.-E., The converse of a stochastic relation (1) 133 Drexl, A., see Akkan, C. (1) 1 Hogan, A., see Stolle, R. (1) 4 Kamareddine, F. and R.  ... 
doi:10.1016/s1567-8326(04)00103-1 fatcat:ymotwcyuyvcw5dv7ihliytecq4

Keyword Index – Volume (2004)

2005 The Journal of Logic and Algebraic Programming  
(The issue number is given in front of the page numbers) Barrio-Soló rzano, M., see Cuesta, C.E. (2) 177 Beato, M.E., see Cuesta, C.E. (2) 177 Bernardo, M. and C.A.  ...  Talpin, Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (2) 241 Kö nig, B., Analysing input/output-capabilities of mobile processes  ... 
doi:10.1016/s1567-8326(05)00018-4 fatcat:dyytsmll4vg7llkt2qfx23zqi4

Subject index – Volume 51

2002 The Journal of Logic and Algebraic Programming  
Subject Index -Volume 51 (2002) (The issue number is given in front of the page numbers) Abstract data type (2) PII: S 1 5 6 7 -8 3 2 6 ( 0 2 ) 0 0 0 2 7 -9 The Journal of Logic and Algebraic Programming  ...  (1) 77 Mobile component (1) 77 Model-checking (1) 43 Molecular dynamics (2) 193 Multi-paradigm programming (1) 1 Object oriented programming (2) 193 Performance analysis (1) 77 Program algebra  ... 
doi:10.1016/s1567-8326(02)00027-9 fatcat:psefnzcthjczvl336xvhrep6ui

Author index - Volume 49

2001 The Journal of Logic and Algebraic Programming  
PII: S 1 5 6 7 -8 3 2 6 ( 0 1 ) 0 0 0 1 4 -5  ... 
doi:10.1016/s1567-8326(01)00014-5 fatcat:yboyocbknrb7vlpo5lkzu74hom

Author Index – Volume 65 (2005)

2005 The Journal of Logic and Algebraic Programming  
, see Bortnik, E. (2) 51 www.elsevier.com/locate/jlap The Journal of Logic and Algebraic Programming 65 (2005) 105 doi:10.1016/S1567-8326(05)00071-8  ...  Rooda, Analyzing a v model of a turntable system using Spin, CADP and Uppaal (2) 51 Bozga, L., C. Ene and Y.  ... 
doi:10.1016/s1567-8326(05)00071-8 fatcat:323bu4seg5hgji3vlymnhzdw44

Author Index – Volume 66 (2006)

2006 The Journal of Logic and Algebraic Programming  
/locate/jlap The Journal of Logic and Algebraic Programming 66 (2006) 271 doi:10.1016/S1567-8326(05)00105-0  ...  Ló pez Pombo, Interpretability of firstorder linear temporal logics in fork algebras (2) 161 López Pombo, C.G., see Frias, M.F. (2) 161 Leiß, H., Kleene modules and linear languages (2) 185 Li, S. and  ... 
doi:10.1016/s1567-8326(05)00105-0 fatcat:wahuetthrfdzjbwpikztuabuha

Keyword Index – Volume 75 (2008)

2008 The Journal of Logic and Algebraic Programming  
(2) 182 Transactions (1) 52 Tree automata (2) Available online at www.sciencedirect.comThe Journal of Logic and Algebraic Programming 75(2008) 233www.elsevier.com/locate/jlap doi:10.1016/S1567  ...  -8326(08)00028-3 182 Tuple spaces (1) 52 Verification of infinite state systems (2) 182 Web services (1) 86 XML (1) 86  ... 
doi:10.1016/s1567-8326(08)00028-3 fatcat:ukspgt5ld5dyfnk2co77dm2l4e

Author Index – Volume 74 (2007)

2008 The Journal of Logic and Algebraic Programming  
(2) 112 Available online at www.sciencedirect.com The Journal of Logic and Algebraic Programming 74(2008) 115www.elsevier.com/locate/jlap doi:10.1016/S1567-8326(07)00096-3  ...  Nú ñ ez, HOTL: Hypotheses and observations testing logic (2) 57 Vu, T.D., Denotational semantics for thread algebra (2) 94 Wilander, K.O., Soundness in verification of algebraic specifications with OBJ  ... 
doi:10.1016/s1567-8326(07)00096-3 fatcat:kzpicypflvfn5kzt2yy6muqcri

Author Index – Volume 72 (2007)

2007 The Journal of Logic and Algebraic Programming  
Berger, Linearity and bisimulation (2) 207 The Journal of Logic and Algebraic Programming 72 (2007) Aceto, L., M. Bravetti, W. Fokkink and A.D.  ...  see Danicic, S. (2) 191 Honda, K., see Yoshida, N. (2) 207 Howroyd, J., see Danicic, S. (2) 191 Laurence, M.R., Characterizing minimal semantics-preserving slices of function-linear, free, liberal program  ... 
doi:10.1016/s1567-8326(07)00049-5 fatcat:dtg7o5kutndf7fdonthfbv4jwe

Keyword Index – Volume 64 (2005)

2005 The Journal of Logic and Algebraic Programming  
Abstract interpretation (2) 219 Abstraction (2) 219 Accuracy and precision (1) www.elsevier.com/locate/jlap The Journal of Logic and Algebraic Programming 64 (2005) 323 doi:10.1016/S1567-8326(05)00048  ...  1) 113 Computer aspects of numerical algorithms (1) 113 Condition number (1) 113 Constructive reals (1) 3 Constructive zero bounds (1) 85 Containment property (1) 135 COSY software (1) 135 Cryptographic  ... 
doi:10.1016/s1567-8326(05)00048-2 fatcat:wdpkag74ebc55oad65owign45i
« Previous Showing results 1 — 15 out of 336,644 results