Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Journal of Logical and Algebraic Methods in Programming

Known as: The Journal on Logic Programming, J. Log. Program., J. Log. Prog. 
The Journal of Logical and Algebraic Methods in Programming (ISSN 2352-2208) is a peer-reviewed scientific journal established in 1984. It was… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Article history: Received 19 September 2014 Received in revised form 13 October 2015 Accepted 14 October 2015 Available online… Expand
  • figure 3
  • figure 4
  • figure 5
  • figure 7
  • table 2
Is this relevant?
2008
2008
The Proof-Carrying Code (PCC) paradigm has emerged as a way of instilling trust in the code user about the properties of the code… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Holldobler and Kalinke showed how, given a propositional logic program P , a 3-layer feedforward artificial neural network may be… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Trust management (TM) is a promising approach for authorization and access control in distributed systems, based on signed… Expand
Is this relevant?
2002
2002
A machine learning technique called Graph-Based Induction (GBI) extracts typical patterns from graph data by stepwise pair… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1996
1996
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforestation. Although known in the… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
 
Is this relevant?