Journal of Logical and Algebraic Methods in Programming
ISSN
2352-2208 (print) 2352-2216 (web)
LCCN
2016205291
Journal of Logic and Algebraic Programming
CODEN
JLAPAJ
ISSN
1567-8326 (print) 1873-5940 (web)
LCCN
2001249000
Journal of Logic Programming
CODEN
JLPRE2
ISSN
0743-1066 (print) 1873-5789 (web)
LCCN
sf96091377
Links
Journal homepage
The Journal of Logical and Algebraic Methods in Programming is a peer-reviewed scientific journal established in 1984. It was originally titled The Journal of Logic Programming; in 2001 it was renamed The Journal of Logic and Algebraic Programming, and in 2014 it obtained its current title.
The founding editor-in-chief was J. Alan Robinson.[1] From 1984 to 2000 it was the official journal of the Association of Logic Programming. In 2000, the association and the then editorial board started a new journal under the name Theory and Practice of Logic Programming, published by Cambridge University Press. Elsevier continued the journal with a new editorial board under the title Journal of Logic and Algebraic Programming.
According to the Journal Citation Reports, the journal has a 2013 impact factor of 0.383.[2]
^Robinson, J. Alan (2001). "Invited Editorial". Theory and Practice of Logic Programming. 1 (1). Cambridge University Press: 1. doi:10.1017/s1471068400000028.
^"Journal of Logical and Algebraic Methods in Programming". 2013 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2014.
and 27 Related for: Journal of Logical and Algebraic Methods in Programming information
The JournalofLogicalandAlgebraicMethodsinProgramming is a peer-reviewed scientific journal established in 1984. It was originally titled The Journal...
session-based type system for Elixir modules". JournalofLogicalandAlgebraicMethodsinProgramming. 135. doi:10.1016/j.jlamp.2023.100891. S2CID 251442539...
of Intelligent and Robotic Systems Journalof Interconnection Networks Journalof Logic and Computation JournalofLogicalandAlgebraicMethodsin Programming...
In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and...
with a robust pragmatics. A logical connective is similar to, but not equivalent to, a syntax commonly used inprogramming languages called a conditional...
Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday, Special Issue of the JournalofLogicalandAlgebraicMethodsinProgramming Marktoberdorf...
"Analyzing a chi model of a turntable system using Spin, CADP and Uppaal" (PDF). JournalofLogicalandAlgebraicMethodsinProgramming. 65 (2): 51–104. doi:10...
programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences inlogical form...
true and false, usually denoted 1 and 0, whereas in elementary algebra the values of the variables are numbers. Second, Boolean algebra uses logical operators...
gates andprogramming; relational algebra used in databases; discrete and finite versions of groups, rings and fields are important inalgebraic coding...
algebra andalgebraic geometry, although the methodsof model theory focus more on logical considerations than those fields. The set of all models of a particular...
Linear Algebra (1st ed.). Philadelphia: SIAM. Vanderbei, R. J. (2015). Linear programming. Heidelberg: Springer. Gass, S. I. (2003). Linear programming: methods...
values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables. In particular...
"non-logical axiom". Logical axioms are taken to be true within the system of logic they define and are often shown in symbolic form (e.g., (A and B) implies A)...
mathematical technique and rigor. While logical inference and mathematical proof had existed previously, in 1931 Kurt Gödel proved with his incompleteness...
A logic gate is a device that performs a Boolean function, a logical operation performed on one or more binary inputs that produces a single binary output...
Algebraic topology, the use in topology ofalgebraicmethods, mainly homological algebra. Discrete geometry, the study of finite configurations in geometry...
distinct logical systems: The "primary arithmetic" (described in Chapter 4 of LoF), whose models include Boolean arithmetic; The "primary algebra" (Chapter...
Based on type of execution Graphical optimization methods Tabular optimization methodsAlgebraic optimization methods Graphical methods represent the...
Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, is a movement whose central thesis is...