Portico
20230923T202632-0400
Portico
07
07
23522208
01
Journal of Logical and Algebraic Methods in Programming
01
Elsevier
03
03
03
Volume
83
Issue
2
00
01
201403
Volume
83
Issue
3-4
00
01
201405
Volume
83
Issue
3
Volume
83
Issue
4
Volume
83
Issue
5-6
00
01
201409
Volume
83
Issue
5
Volume
83
Issue
6
Volume
84
Issue
1
00
01
201501
Volume
84
Issue
2
00
01
201503
Volume
84
Issue
3
00
01
201505
Volume
84
Issue
4
00
01
201507
Volume
84
Issue
5
00
01
201509
Volume
84
Issue
6
00
01
201511
Volume
85
Issue
1
00
01
201601
Volume
85
Issue
2
00
01
201602
Volume
85
Issue
3
00
01
201604
Volume
85
Issue
4
00
01
201606
Volume
85
Issue
5
00
01
201608
Volume
85
Issue
6
00
01
201610
Volume
86
Issue
1
00
01
201701
Volume
87
Issue
null
00
01
201702
Volume
89
Issue
null
00
01
201706
Volume
90
Issue
null
00
01
201708
Volume
91
Issue
null
00
01
201710
Volume
92
Issue
null
00
01
201711
Volume
93
Issue
null
00
01
201712
Volume
94
Issue
null
00
01
201801
Volume
95
Issue
null
00
01
201802
Volume
96
Issue
null
00
01
201804
Volume
97
Issue
null
00
01
201806
Volume
98
Issue
null
00
01
201808
Volume
99
Issue
null
00
01
201810
Volume
100
Issue
null
00
01
201811
Volume
101
Issue
null
00
01
201812
Volume
102
Issue
null
00
01
201901
Volume
103
Issue
null
00
01
201902
Volume
104
Issue
null
00
01
201904
Volume
105
Issue
null
00
01
201906
Volume
106
Issue
null
00
01
201908
Volume
107
Issue
null
00
01
201910
Volume
108
Issue
null
00
01
201911
Volume
109
Issue
null
00
01
201912
Volume
110
Issue
null
00
01
202001
Volume
111
Issue
null
00
01
202002
Volume
112
Issue
null
00
01
202004
Volume
113
Issue
null
00
01
202006
Volume
114
Issue
null
00
01
202008
Volume
115
Issue
null
00
01
202010
Volume
116
Issue
null
00
01
202011
Volume
117
Issue
null
00
01
202012
Volume
118
Issue
null
00
01
192101
Volume
120
Issue
null
00
01
202104
Volume
121
Issue
null
00
01
202106
Volume
122
Issue
null
00
01
202108
Volume
123
Issue
null
00
01
202111
Volume
124
Issue
null
00
01
202201
Volume
125
Issue
null
00
01
202202
Volume
126
Issue
null
00
01
202204
Volume
127
Issue
null
00
01
202206
Volume
128
Issue
null
00
01
202208
Volume
129
Issue
null
00
01
202211
Volume
130
Issue
null
00
01
202301
Volume
131
Issue
null
00
01
202302
Volume
132
Issue
null
00
01
202304
Volume
133
Issue
null
00
01
202306
Volume
134
Issue
null
00
01
202308
Volume
135
Issue
null
00
01
202310
Ongoing. Current issues available as published.
02
01
E107
05
20230923
01