首页>外文期刊>计算机、自动化>计算技术、计算机技术>Journal of Logic and Algebraic Programming

Journal of Logic and Algebraic Programming

Journal of Logic and Algebraic Programming

SCIEI

中文名称：逻辑与代数编程杂志

ISSN：1567-8326
出版周期：1.060

发文量：719

期刊论文

年度选择

2021
- 第1期
- 第2期
- 第4期
- 第6期
- 第8期
- 第11期
2020
- 第1期
- 第2期
- 第4期
- 第6期
- 第8期
- 第10期
- 第11期
- 第12期
2019
- 第1期
- 第2期
- 第4期
- 第6期
- 第8期
- 第10期
- 第11期
- 第12期
2018
- 第1期
- 第2期
- 第4期
- 第6期
- 第8期
- 第10期
- 第11期
- 第12期
2017
- 第1期
- 第2期
- 第4期
- 第6期
- 第8期
- 第10期
- 第11期
- 第12期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2015
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2014
- 第1期
- 第2期
- 第4期
- 第6期
2013
- 第1期
- 第2期
- 第4期
- 第7期
- 第8期
2012
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
2011
- 第1期
- 第2期
- 第5期
- 第6期
- 第7期
- 第8期
2010
- 第1期
- 第2期
- 第5期
- 第6期
- 第7期
- 第8期
2009
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2008
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
2007
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
2006
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
2005
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
2004
- 第2期
- 第2期
- 第2004期
2003
- 第2期
- 第2期
- 第2期
- 第2期
2002
- 第2期

更多>>

全选（0）

1.On the analysis of compensation correctness

机译：补偿正确性分析
- 作者：Catia Vaz;Carla Ferreira
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第5期
- long running transactions;
- compensations;
- compensation correctness;
- failure handling;
- process calculi;
- model checking;
2.A versatile concept for the analysis of loops

机译：循环分析的通用概念
- 作者：Wided Ghardallou;Olfa Mraihi;Asma Louhichi;Lamia Labed Jilani;Khaled Bsaies;Ali Mili
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第5期
3.Relational and algebraic methods in computer science

机译：计算机科学中的关系和代数方法
- 作者：Harrie de Swart
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第6期
4.Partiality Ⅱ: Constructed relation algebras

机译：偏好Ⅱ：构造关系代数
- 作者：Gunther Schmidt
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第6期
- relation;
- existential image;
- partiality;
- tarski rule;
5.Relation-algebraic modeling and solution of chessboard independence and domination problems

机译：棋盘独立性和支配性问题的关系代数建模与解决方案
- 作者：Rudolf Berghammer
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第6期
- relation algebra;
- relational modeling;
- RelView tool;
- chessboard relation;
- independence;
- domination;
- bishops independence number;
6.Typing theorems of omega algebra

机译：欧米茄代数的打字定理
- 作者：Walter Guttmann
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第6期
- heterogeneous relations;
- kleene algebra;
- matrix algebra;
- non-square matrices;
- omega algebra;
- 1-Free expression;
- typed omega algebra;
- typing theorems;
7.Programming from Galois connections

机译：从Galois连接进行编程
- 作者：Shin-Cheng Mu;Jose Nuno Oliveira
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第6期
- program derivation;
- algebra of programming;
- galois connection;
8.Left omega algebras and regular equations

机译：左欧米茄代数和正则方程
- 作者：Georg Struth
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第6期
9.Twenty years of rewriting logic

机译：重写逻辑二十年
- 作者：Jose Meseguer
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第8期
10.Rewriting logic bibliography by topic: 1990-2011

机译：重写逻辑书目按主题：1990-2011
- 作者：Narciso Marti-Oliet;Miguel Palomino;Alberto Verdejo
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第8期
11.Folding variant narrowing and optimal variant termination

机译：折叠变体变窄和最佳变体终止
- 作者：Santiago Escobar;Ralf Sasse;Jose Meseguer
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第8期
- narrowing modulo;
- terminating narrowing strategy;
- variants;
- equational unification;
12.Rewriting semantics of production rule sets

机译：重写生产规则集的语义
- 作者：Michael Katelman;Sean Keller;Jose Meseguer
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第8期
13.Preface

机译：前言
- 作者：Narciso Marti-Oliet;Peter Csaba OElveczky
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第8期
14.On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories

机译：关于条件顺序排序重写理论的Church-Rosser和相干性
- 作者：Francisco Duran;Jose Meseguer
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第8期
- maude;
- order-sorted conditional specifications;
- rewriting modulo;
- formal verification;
- church-rosser property;
- coherence;
15.Declarative debugging of rewriting logic specifications

机译：声明式调试重写逻辑规范
- 作者：Adrian Riesco;Alberto Verdejo;Narciso Marti-Oliet;Rafael Caballero
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2012年第8期
- declarative debugging;
- rewriting logic;
- maude;
- wrong answers;
- missing answers;
16.Validation and verification of Web services choreographies by using timed automata

机译：使用定时自动机验证和验证Web服务编排
- 作者：M. Emilia Cambronero;Gregorio Doiaz;Valentoin Valero;Enrique Martinez
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第1期
- web services;
- choreographies;
- ws-cdl;
- timed automata;
- formal models;
17.Permission to speak: A logic for access control and conformance

机译：演讲许可：访问控制和一致性的逻辑
- 作者：Nikhil Dinesh;Aravind Joshi;Insup Lee;Oleg Sokolsky
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第1期
- access control;
- conformance;
- modal logic;
- deontic logic;
18.Guest Editors' Foreword

机译：客座编辑的前言
- 作者：Gordon Pace;Gerardo Schneider
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第1期
19.On the potential advantages of exploiting behavioural information for contract-based service discovery and composition

机译：利用行为信息进行基于合同的服务发现和组合的潜在优势
- 作者：Antonio Brogi
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第1期
- service-oriented computing;
- service descriptions;
- behaviour information;
20.QoS negotiation in service composition

机译：服务组合中的QoS协商
- 作者：Maria Grazia Buscemi;Ugo Montanari
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第1期
- process calculi;
- service oriented computing;
- constraint-based models;
21.Decidability of strong equivalence for subschemas of a class of linear, free,near-liberal program schemas

机译：一类线性，自由，近自由程序方案的子方案的强等价性的判定
- 作者：Sebastian Danicic;Robert M. Hierons;Michael R. Laurence
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第2期
- free and liberal program schemas;
- herbrand domain;
- program slicing;
- linear schemas;
- weiser's algorithm;
22.Axiomatizability of representable domain algebras

机译：可表示域代数的公理化性
- 作者：Robin Hirsch;Szabolcs Mikuloas
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第2期
- domain algebras;
- relation algebras;
- finite axiomatizability;
23.A decentralised graphical implementation of mobile ambients

机译：移动环境的分散式图形实现
- 作者：Fabio Gadducci;Giacoma Valentina Monreale
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第2期
- graph transformation;
- graphical encodings;
- process calculi;
- reduction semantics;
- structural congruence;
24.Relations and Kleene algebras in computer science

机译：关系和计算机科学中的Kleene代数
- 作者：Rudolf Berghammer;Ali Mohamed Jaoua;Bernhard Moller
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第6期
25.Fixpoints for general correctness

机译：一般正确性的固定点
- 作者：Walter Guttmann
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第6期
- distributive lattice;
- egli-milner order;
- fixpoint;
- general correctness;
- median;
- program semantics;
- recursion;
- semiring;
26.Concurrent Kleene Algebra and its Foundations

机译：并行Kleene代数及其基础
- 作者：Tony Hoare;Bernhard Mö11er;Georg Struth;Ian Wehrman
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第6期
- concurrency;
- dependence;
- algebra;
- hoare calculus;
- rely/guarantee calculus;
27.Collagories: Relation-algebraic reasoning for gluing constructions

机译：合作：胶合结构的关系代数推理
- 作者：Wolfram Kahl
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第6期
28.Contact, closure, topology, and the linking of row and column types of relations

机译：接触，闭合，拓扑以及关系的行和列类型的链接
- 作者：Gunther Schmidt;Rudolf Berghammer
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第6期
- relation algebra;
- partial order;
- complete lattice;
- contact relation;
- closure operation;
- topological structure;
- open set topology;
- column types;
- row types;
- relview;
29.Algebraic separation logic

机译：代数分离逻辑
- 作者：H.-H. Dang;P. Höfner;B. Mö11er
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第6期
- formal semantics;
- separation logic;
- frame rule;
- algebra;
- semirings;
- quantales;
30.Normal forms in total correctness for while programs and action systems

机译：对于while程序和动作系统，完全正确的范式
- 作者：Kim Solin
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第6期
31.Structural operational semantics through context-dependent behaviour

机译：通过上下文相关行为的结构化操作语义
- 作者：Robert J. Colvin;Ian J. Hayes
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第7期
32.Timed Mobility in process algebra and Petri nets

机译：过程代数和Petri网的定时迁移
- 作者：Gabriel Ciobanu;Maciej Koutny
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第7期
- mobility;
- local clocks;
- process algebra;
- high level petri nets;
- syntax driven translation;
- behavioural equivalence;
33.On system rollback and totalized fields An algebraic approach to system change Mark Burgess

机译：关于系统回滚和总计字段关于系统更改的代数方法Mark Burgess
- 作者：Alva Couch
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第8期
34.Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas

机译：表征谓词线性，自由，自由的程序模式的最小保留语义的片
- 作者：Sebastian Danicic;Robert M. Hierons;Michael R. Laurence
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第8期
- program schemas;
- herbrand domain;
- program slicing;
- weiser's algorithm;
- free and liberal schemas;
- linear schemas;
35.Efficiency issues in the kbmag procedure

机译：kbmag程序中的效率问题
- 作者：Jerry Swan
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第8期
- knuth-bendix algorithm;
- automatic groups;
- string rewriting;
36.Simple feature engineering via neat default retrenchments

机译：通过简洁的默认裁切进行简单的特征工程
- 作者：R. Banach;C.Jeske
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第8期
- feature engineering;
- retrenchment;
- neat and default retrenchment;
37.Guest Editors' Foreword

机译：客座编辑的前言
- 作者：Gordon Pace;Gerardo Schneider
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第5期
38.A contract-based approach to adaptivity

机译：基于合同的适应性方法
- 作者：Andreas Schroeder;Sebastian S. Bauer;Martin Wirsing
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第5期
39.Passage retrieval in legal texts

机译：法律文本中的段落检索
- 作者：Paolo Rosso;Santiago Correa;Davide Buscaldi
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第5期
- passage retrieval;
- legal texts;
- treaties;
- patents;
- contracts;
40.Contracts for security adaptation

机译：安全适应合同
- 作者：J.A. Martín;E.Pimentel
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第5期
- model-based adaptation;
- web service orchestration;
- security specification;
- adaptation contracts;
- ws-security;
41.Building distributed controllers for systems with priorities

机译：为具有优先级的系统构建分布式控制器
- 作者：Imene Ben-Hafaiedh;Susanne Graf;Sophie Quinton
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2011年第5期
- memoryless controllers;
- distributed controllers;
- global priorities;
- web services;
42.Preface

机译：前言
- 作者：Kurt Sieber
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
43.Continuity and Lipschitz constants for projections

机译：投影的连续性和Lipschitz常数
- 作者：Douglas S. Bridges
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
- constructive;
- projection;
- lipschitz constant;
44.Computing combinatorial types of trajectories in Pfaffian Dynamics

机译：在Pfaffian动力学中计算轨迹的组合类型
- 作者：Margarita Korovina;Nicolai Vorobjov
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
- dynamical systems;
- o-minimality;
- pfaffian functions;
45.On computable presentations of some functional lattices

机译：关于一些功能格的可计算表示
- 作者：Andrei S. Morozov
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
46.Similarity, topology, and uniformity

机译：相似性，拓扑和均匀性
- 作者：Reinhold Heckmann
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
- generalized metric;
- topology;
- quasi-uniformity;
- continuous lattices;
47.Implicit characterizations of FPTIME and NC revisited

机译：FPTIME和NC的隐式表征
- 作者：Karl-Heinz Niggl;Henning Wunderlich
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
48.MOQA: unlocking the potential of compositional static average-case analysis

机译：MOQA：释放成分静态平均案例分析的潜力
- 作者：M.P. Schellekens
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
- randomness preservation;
- algorithms;
- average-case analysis;
- modularity;
- compositionality;
- static timing analysis;
- static power analysis;
49.Problems, solutions, and completions

机译：问题，解决方案和完成
- 作者：Peter Schuster
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
- metric spaces;
- completion;
- uniform continuity;
- unique existence;
- constructive mathematics;
- countable choice;
50.On the Wadge reducibility of k-partitions

机译：关于k分区的Wadge可约性
- 作者：Victor L. Selivanov
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第1期
- baire space;
- baire domain;
- wadge reducibility;
- k-partition;
- discrete weak semilattice;
- forest;
- homomorphic preorder;
51.Algebraic simulations

机译：代数模拟
- 作者：Jose Meseguer;Miguel Palomino;Narciso Marti-Oliet
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第2期
- rewriting logic;
- stuttering simulations;
- representability results;
- kripke structures;
- model checking;
52.Quasi-boolean encodings and conditionals in algebraic specification

机译：代数规范中的准布尔编码和条件
- 作者：Razvan Diaconescu
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第2期
- algebraic specification;
- institution theory;
- boolean algebra;
- encodings;
- OBJ;
- cafeOBJ;
53.Axiomatizing the equational theory of regular tree languages

机译：公理化规则树语言的方程式理论
- 作者：Z. Esik
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第2期
- regular tree language;
- complex algebras;
- axiomatization;
54.Normal design algebra

机译：普通设计代数
- 作者：Walter Guttmann;Bernhard Moeller
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第2期
- unifying theories of programming;
- semantics;
- semiring;
- kleene algebra;
- omega algebra;
- fixpoint;
- linear recursion;
55.Membrane computing and programming

机译：膜计算和编程
- 作者：Gheorghe Paun;Mario J. Perez-Jimenez;Gheorghe Stefanescu
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
56.Rule-based and object-based event structures for membrane systems

机译：膜系统的基于规则和基于对象的事件结构
- 作者：Oana Agrigoroaiei;Gabriel Ciobanu
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- membrane computing;
- event structures;
- operational semantics;
57.Compositional semantics of spiking neural P systems

机译：尖峰神经P系统的组成语义
- 作者：Roberto Barbuti;Andrea Maggiolo-Schettini;Paolo Milazzo;Simone Tini
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- spiking neural P systems;
- structural operational Semantics;
- behavioural equivalence;
- congruence;
58.P systems with control nuclei: The concept

机译：具有控制核的P系统：概念
- 作者：Camelia Chira;Traian Florin Serbanuta;Gheorghe Stefanescu
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- P systems;
- control nuclei;
- K rewrite-based framework;
- modeling cell growth;
59.P systems and the Byzantine agreement

机译：P系统和拜占庭协议
- 作者：Michael J. Dinneen;Yun-Bum Kim;Radu Nicolescu
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- P systems;
- byzantine agreement;
- distributed algorithms;
- modular design;
60.Metabolic approximation of real periodical functions

机译：实数周期函数的代谢近似
- 作者：Vincenzo Manca;Luca Marchetti
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- metabolic P systems;
- dynamical systems;
- approximation;
- oscillators;
61.A P-Lingua based simulator for tissue P systems

机译：基于P-Lingua的组织P系统模拟器
- 作者：Miguel A. Martinez-del-Amor;Ignacio Perez-Hurtado;Mario J. Perez-Jimenez;Agustin Riscos-Nunez
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- membrane computing;
- tissue P systems;
- P-Lingua;
- simulators;
62.An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P

机译：在Reconfig-P中生成可扩展，可维护且优雅的硬件源代码方法
- 作者：Van Nguyen;David Kearney;Gianpaolo Gioiosa
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- membrane computing;
- reconfigurable hardware;
- design patterns;
63.An overview of the K semantic framework

机译：K语义框架概述
- 作者：Grigore Rosu;Traian Florin Serbanuta
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
64.A quick introduction to membrane computing

机译：膜计算快速入门
- 作者：Gheorghe Paun
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- natural computing;
- membrane computing;
- P system;
- turing computability;
65.Simulating a P system based efficient solution to SAT by using GPUs

机译：使用GPU模拟基于P系统的SAT高效解决方案
- 作者：Jose M. Cecilia;Jose M. Garcia;Gines D. Guerrero;Miguel A. Martinez-del-Amor;Ignacio Perez-Hurtado;Mario J. Perez-Jimenez
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- SAT;
- P systems;
- membrane Computing;
- GPUs;
66.Test generation from P systems using model checking

机译：使用模型检查从P系统测试生成
- 作者：Florentin Ipate;Marian Gheorghe;Raluca Lefticaru
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第6期
- P systems;
- kripke structures;
- model checking;
- test generation;
67.Composing model programs for analysis

机译：编写模型程序进行分析
- 作者：Margus Veanes;Jonathan Jacky
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
- model program;
- state machine;
- labeled transition system;
- scenario control;
- model-based testing;
- model analysis;
- model validation;
68.Relational bytecode correlations

机译：关系字节码相关
- 作者：Lennart Beringer
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
- non-interference;
- relational proof systems;
- program transformations;
- proof-carrying code;
- formalised program analyses;
69.Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

机译：急切和延迟的合同监控，以按价值进行呼叫和按名称进行呼叫评估
- 作者：Markus Degen;Peter Thiemann;Stefan Wehr
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
- contract monitoring;
- call-by-name;
- call-by-value;
- formal system;
- type and effect system;
70.Lazy behavioral subtyping

机译：懒惰的行为分型
- 作者：Johan Dovland;Einar Brochjohnsen;Olaf Owe;Martin Steffen
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
- object orientation;
- inheritance;
- code reuse;
- late binding;
- proof systems;
- method redefinition;
- incremental reasoning;
- behavioral subtyping;
71.Synchronous Kleene algebra

机译：同步克莱因代数
- 作者：Cristian Prisacariu
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
- universal algebra;
- kleene algebra;
- boolean tests;
- synchrony;
- SCCS calculus;
- concurrency models;
- automata theory;
- completeness;
- hoare logic;
72.Characterizing and proving operational termination of deterministic conditional term rewriting systems

机译：确定并证明确定性条件词重写系统的操作终止
- 作者：Felix Schernhammer;Bernhard Gramlich
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
73.Quantitative analysis of weighted transition systems

机译：加权过渡系统的定量分析
- 作者：Claus Thrane;Uli Fahrenberg;Kim G. Larsen
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
- quantitative analysis;
- weighted transition systems;
- weighted timed automata;
- simulation;
- trace inclusion;
- hemimetrics;
74.Guest Editors' Foreword

机译：客座编辑的前言
- 作者：Tarmo Uustalu;Jueri Vain
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
75.Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

机译：用于概率混合自动机自动分析的工程约束求解器
- 作者：Martin Fraenzle;Tino Teige;Andreas Eggers
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
76.Termination in higher-order concurrent calculi

机译：在高阶并发结石中终止
- 作者：Romain Demangeon;Daniel Hirschkoff;Davide Sangiorgi
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
- concurrency theory;
- process algebra;
- ttermination;
- type systems;
- higher-order calculi;
- π-calculus;
77.A formalisation of the copy-modify-merge approach to version control in MDE

机译：MDE中版本控制的复制-修改-合并方法的形式化
- 作者：Alessandro Rossini;Adrian Rutle;Yngve Lamo;Uwe Wolter
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第7期
- model-driven engineering;
- version control system;
- category theory;
- diagram predicate framework;
78.Relations and Kleene algebras in computer science

机译：关系和计算机科学中的Kleene代数
- 作者：Rudolf Berghammer;Bernhard Moller;Georg Struth
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第8期
79.Boolean logics with relations

机译：具有关系的布尔逻辑
- 作者：Philippe Balbiani;Tinko Tinchev
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第8期
- first-order classical logic;
- propositional modal logic;
- boolean algebra;
- relations;
80.Relation-algebraic specification and solution of special university timetabling problems

机译：关系代数规范和特殊大学时间表问题的解决方案
- 作者：Rudolf Berghammer;Britta Kehden
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第8期
- relation algebra;
- timetabling;
- formal program developmenl;
- tool support;
- relview;
81.Imperative abstractions for functional actions

机译：功能动作的命令式抽象
- 作者：Walter Guttmann
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第8期
- fold;
- higher-order procedures;
- imperative programming;
- infinite data structures;
- lazy evaluation;
- non-strictness;
- program semantics;
- relations;
- unfold;
82.Algebraic notions of nontermination: Omega and divergence in idempotent semirings

机译：非终结的代数概念：Ω和幂等半环中的发散
- 作者：Peter Hoefner;Georg Struth
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第8期
- idempotent semirings;
- modal semirings;
- nontermination;
- recursion and corecursion;
- omega;
- divergence;
83.Determinisation of relational substitutions in ordered categories with domain

机译：确定具有域的有序类别中的关系替换
- 作者：Wolfram Kahl
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第8期
- unification;
- substitution;
- relation domain;
- determinacy;
- restricted residuals;
- membership;
- locally-ordered category;
- quotient;
- PER;
84.Abstract representation theorems for demonic refinement algebras

机译：恶魔细化代数的抽象表示定理
- 作者：Jean-Lou De Carufel;Jules Desharnais
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第8期
- demonic refinement algebra;
- kleene algebra with domain;
- enabledness;
- termination;
- divergence;
- representation by pairs;
85.Cardinality functions in allegories

机译：寓言中的基数功能
- 作者：Yasuo Kawahara;Michael Winter
- 期刊名称：《Journal of Logic and Algebraic Programming》 | 2010年第8期
86.A precongruence format for should testing preorder

机译：预一致性格式，用于测试预购
- 作者：Xiaowei Huang;Li Jiao;Weiming Lu
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第5期
- should testing preorder;
- rule format;
- testing theory;
- structural operational semantics;
87.Reversing computation in membrane systems

机译：膜系统中的逆向计算
- 作者：Oana Agrigoroaiei;Gabriel Ciobanu
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第5期
- membrane systems;
- reverse P systems;
- communication rules;
- dissolution;
- operational semantics;
- configuration;
- reverse evolution;
88.Stronger compositions for retrenchments

机译：裁员更强大
- 作者：R. Banach;C.Jeske
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第5期
- retrenchment;
- composition;
- associativity;
89.Relating fair testing and accordance for service replaceability

机译：与公平测试和服务可替换性相关
- 作者：Arjan J. Mooij;Christian Stahl;Marc Voorhoeve
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第5期
- formal methods;
- behavioral equivalences;
- refinement;
- service-oriented computing;
90.The proof monad

机译：证明单子
- 作者：Florent Kirchner;Cesar Munoz
- 期刊名称：《The Journal of logic and algebraic programming》 | 2010年第5期
- proof languages;
- deductive strategies;
- category theory;
- monadic structures;
91.Testing From A Stochastic Timed System With A Fault Model

机译：具有故障模型的随机定时系统的测试
- 作者：Robert M. Hierons;Mercedes G. Merayo;Manuel Nunez
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第2期
- software testing;
- stochastic time;
- non-determinism;
- fault model;
92.Guest Editors' Foreword: Selected Papers On 'streams And Algebra'

机译：客座编辑的前言：关于“流和代数”的论文精选
- 作者：Manfred Broy;Gheorghe Stefanescu
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第2期
93.A Domain-specific Language For Cryptographic Protocols Based On Streams

机译：基于流的密码协议的域特定语言
- 作者：Jan Juerjens
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第2期
- cryptographic protocols;
- security analysis;
94.An Algebra Of Hybrid Systems

机译：混合系统的代数
- 作者：Peter Hoefner;Bernhard Moeller
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第2期
- hybrid system;
- semiring;
- quantale;
- equational reasoning;
95.Processes With Local And Global Liveness Requirements

机译：具有本地和全球活力需求的流程
- 作者：Helia Guerra;Jose Felix Costa
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第3期
- process algebra;
- liveness quiescence;
- inequational proof system;
- operational semantics;
- conservative extension;
96.Distributed Semantics For The π-calculus Based On Petri Nets With Inhibitor Arcs

机译：基于带抑制弧的Petri网的π演算的分布式语义
- 作者：Nadia Busi;Roberto Gorrieri
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第3期
- petri nets;
- process algebra;
- π-calculus;
- non-interleaving semantics;
- decidable properties;
97.Revivals, Stuckness And The Hierarchy Of Csp Models

机译：复兴，卡顿和Csp模型的层次结构
- 作者：A.W. Roscoe
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第3期
- concurrency;
- csp models;
- full abstraction;
98.A Metamodel For The Design Of Polychronous Systems

机译：多时系统设计的元模型
- 作者：Christian Brunette;Jean-Pierre Talpin;Abdoulaye Gamatie;Thierry Gautier
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第4期
- embedded systems;
- software engineering;
- design environment;
- metamodeling;
- synchronous languages;
- model transformation;
99.Improving Performance In Flexible Manufacturing Systems

机译：改善柔性制造系统的性能
- 作者：M. Carmen Ruiz;Diego Cazorla;Fernando Cuartero;Hermenegilda Macia
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第4期
- flexible manufacturing systems;
- performance evaluation;
- timed process algebra;
- available resources;
- formal methods;
- CSP;
100.Guest Editors' Foreword

机译：客座编辑的前言
- 期刊名称：《The Journal of logic and algebraic programming》 | 2009年第4期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号