Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Journal Citation ReportsRAMiCS

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue
2014
2014
Characterization of semicomputable sets, and computable partial functions,on the real plane
  • M. Fu
  • 2014
  • Corpus ID: 118477259
This thesis is composed of two related projects: (1) Characterizations of semicomputable subsets of R as unions of effective… 
2012
2012
Processus d'identification de propriétés de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques
Les progres recents dans la definition de mecanismes decisionnels ont permis de deleguer de plus en plus de responsabilites aux… 
2010
2010
Change Management for Heterogeneous Development Graphs
The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal… 
2009
2009
Keynote 1 MDM 2009 Semantics on the Web: How Do We Get There?
It is becoming increasingly clear that the next generation of web search and advertising will rely on a deeper understanding of… 
2007
2007
A Symbolic Intruder Model for Hash-Collision Attacks
In the recent years, several practical methods have been published to compute collisions on some commonly used hash functions… 
2006
2006
State feedback control of switching servers with setups
In this paper we study the control of switching servers, which can for example be found in manufacturing industry. In general… 
1997
1997
On the Foundations of Termination Analysis of Active Database Rules
Traditional database systems provide a mechanism for storing large amounts of data and an interface for querying and manipulating… 
1996
1996
Closed Terminologies in Description Logics
  • R. Weida
  • AAAI/IAAI, Vol. 1
  • 1996
  • Corpus ID: 12677690
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption… 
Highly Cited
1990
Highly Cited
1990
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)