Index of /~jmarcos/papers/JM/
../
00-CdAM-evolutionary.pdf 29-Apr-2021 20:00 1968332
01-CM-ECNSQL.pdf 29-Apr-2021 20:00 126148
01-CM-fiblog10.pdf 29-Apr-2021 20:00 170738
01-CM-tableaux.pdf 29-Apr-2021 20:00 113167
02-CM-taxonomy-light.pdf 29-Apr-2021 20:00 15801924
02-CM-taxonomy.pdf 29-Apr-2021 20:00 15915601
02-overture.pdf 29-Apr-2021 20:00 230373
03-CCCM-dyadic1.pdf 29-Apr-2021 20:00 233472
03-CCCM-dyadic2.pdf 29-Apr-2021 20:00 210944
03-CCM-lfi.pdf 29-Apr-2021 20:00 1121415
03-dACM-FoIKS02.pdf 29-Apr-2021 20:00 794662
04-DGM-dlogisa.pdf 29-Apr-2021 20:00 200895
04-M-LEA.pdf 29-Apr-2021 20:00 230886
04-M-ModPar.pdf 29-Apr-2021 20:00 218915
04-M-PTS4swcbPL.pdf 29-Apr-2021 20:00 640287
04-M-Paranormal.pdf 29-Apr-2021 20:00 237126
04-M-ii.pdf 29-Apr-2021 20:00 1397307
04-M-onplr.pdf 29-Apr-2021 20:00 303584
04-M-pts.pdf 29-Apr-2021 20:00 281461
05-CCCM-dyadic.pdf 29-Apr-2021 20:00 339415
05-M-P12.pdf 29-Apr-2021 20:00 252376
05-M-PhDthesis.pdf 29-Apr-2021 20:00 5041168
05-M-asl.pdf 29-Apr-2021 20:00 36162
05-decagon.pdf 29-Apr-2021 20:00 66188
06-DGM-slalm.pdf 29-Apr-2021 20:00 301104
08-M-LFIa.pdf 29-Apr-2021 20:00 53587
08-MM-AutExtBSL.pdf 29-Apr-2021 20:00 55590
08-MM-AutExtCLE.pdf 29-Apr-2021 20:00 142217
08-MM-towards.pdf 29-Apr-2021 20:00 230600
09-AGPT4FVL.pdf 02-Feb-2015 18:26 154869
09-CM-ClATab4FVL.pdf 02-Feb-2015 18:26 236600
09-CM-tableaux.pdf 29-Apr-2021 20:00 258450
09-M-NTF.pdf 29-Apr-2021 20:00 304633
09-M-SNPL.pdf 29-Apr-2021 20:00 46284
10-CM-ISMVL.pdf 29-Apr-2021 20:00 329931
10-CM-mvlsc.pdf 29-Apr-2021 20:00 247304
10-FM-PCFVL.pdf 29-Apr-2021 20:00 61076
10-M-WittPara.pdf 29-Apr-2021 20:00 238120
10-M-prooftac.pdf 29-Apr-2021 20:00 88461
11-TCM-TTL.pdf 29-Apr-2021 20:00 243292
11-val2valWC.pdf 29-Apr-2021 20:00 265383
12-BM-DiscAgree.pdf 29-Apr-2021 20:00 28535
12-CMB-CBSF2.pdf 29-Apr-2021 20:00 113639
12-FuzMod-CBSF2.pdf 29-Apr-2021 20:00 344022
12-VMC-cutbased.pdf 29-Apr-2021 20:00 455544
12-fuzzy-bi1.pdf 29-Apr-2021 20:00 193439
13-BCM-B-entailment.pdf 29-Apr-2021 20:00 366584
13-CMB-BiAuto.pdf 29-Apr-2021 20:00 378472
13-CMV-gencomp.pdf 29-Apr-2021 20:00 1887200
13-DM-rich.pdf 29-Apr-2021 20:00 347389
13-FuzMod-NAFIPS.pdf 29-Apr-2021 20:00 1573213
14-NMD-resmodalconf.pdf 29-Apr-2021 20:00 353321
15-M-FailBetter.pdf 29-Apr-2021 20:00 485002
15-MN-resolution.pdf 29-Apr-2021 20:00 275676
15-TM-Try.pdf 29-Apr-2021 20:00 747926
16-CMM-towardsHerbrand.pdf 29-Apr-2021 20:00 240009
16-LMZ-SeqNegMod.pdf 29-Apr-2021 20:00 805103
16-LMZ-itaint.pdf 29-Apr-2021 20:00 430494
17-BM-dualHorn.pdf 29-Apr-2021 20:00 509528
17-BMW-2diment.pdf 29-Apr-2021 20:00 508137
17-BMW-LC.pdf 29-Apr-2021 20:00 113414
17-CMM-merging.pdf 29-Apr-2021 20:00 320966
17-NRMS-AlgebraicSemantics4S.pdf 29-Apr-2021 20:00 353750
18-CMM-Herbrand.pdf 29-Apr-2021 20:00 678067
18-CMM-theBleep.pdf 29-Apr-2021 20:00 712325
18-SBMCP-SBCI.pdf 29-Apr-2021 20:00 337352
19-BCM-STheories.pdf 29-Apr-2021 20:00 440609
19-FCMBS-FuzzyBi.pdf 06-Sep-2021 00:09 271892
20-M-ProperNames.pdf 29-Apr-2021 20:00 2937320
20-NRMS-NelsonS.pdf 29-Apr-2021 20:00 494320
21-GGMMR-PerfectParadefinite.pdf 17-Jul-2021 20:07 409171
21-GMM-BilatProofSearchNDS.pdf 06-Sep-2021 00:10 450246
22-GM-IJCAR.pdf 11-Aug-2022 08:22 650834
23-GMMR-MSCS.pdf 08-Feb-2024 20:46 689578
23-MM-MethGen.pdf 08-Feb-2024 20:46 338778
24-GMMR-AddingImplication.pdf 17-Oct-2024 21:49 945414
99-CM-limits.pdf 29-Apr-2021 20:00 172050
99-M-mastersthesis.pdf 29-Apr-2021 20:00 3389901